Changeset 4333

Show
Ignore:
Timestamp:
06/30/08 09:21:37 (3 months ago)
Author:
pmoura
Message:

Updated the documentation of some of the methods declared in the "randomp" library protocol.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/library/randomp.lgt

    r3687 r4333  
    33 
    44    :- info([ 
    5         version is 1.0, 
     5        version is 1.01, 
    66        author is 'Paulo Moura', 
    7         date is 2000/7/24, 
     7        date is 2008/6/30, 
    88        comment is 'Random number generator protocol.']). 
    99 
    … …  
    2222 
    2323    :- public(randseq/4). 
    24     :- mode(randseq(+integer, +integer, +integer, -list), zero_or_one). 
    25     :- mode(randseq(+integer, +float, +float, -list), zero_or_one). 
     24    :- mode(randseq(+integer, +integer, +integer, -list(integer)), zero_or_one). 
     25    :- mode(randseq(+integer, +float, +float, -list(float)), zero_or_one). 
    2626    :- info(randseq/4, [ 
    2727        comment is 'Returns a list of Length random values in the interval [Lower, Upper[.', 
    … …  
    2929 
    3030    :- public(randset/4). 
    31     :- mode(randset(+integer, +integer, +integer, -list), zero_or_one). 
    32     :- mode(randset(+integer, +float, +float, -list), zero_or_one). 
     31    :- mode(randset(+integer, +integer, +integer, -list(integer)), zero_or_one). 
     32    :- mode(randset(+integer, +float, +float, -list(float)), zero_or_one). 
    3333    :- info(randset/4, [ 
    3434        comment is 'Returns an ordered set of Length random values in the interval [Lower, Upper[.',