Changeset 4552 for trunk/library/randomp.lgt

Timestamp:

10/31/08 10:40:33 (2 months ago)

Author:

pmoura

Message:

Added synchronized/1 directives to the predicates declared in the "randomp" library protocol.

Files:

• trunk/library/randomp.lgt (modified) (6 diffs)

trunk/library/randomp.lgt

@@ -3 +3 @@
 
     :- info([
-        version is 1.01,
+        version is 1.1,
         author is 'Paulo Moura',
-        date is 2008/6/30,
+        date is 2008/10/31,
         comment is 'Random number generator protocol.']).
 
     :- public(random/1).
+    :- synchronized(random/1).
     :- mode(random(-float), one).
     :- info(random/1, [
@@ -15 +16 @@
 
     :- public(random/3).
+    :- synchronized(random/3).
     :- mode(random(+integer, +integer, -integer), zero_or_one).
     :- mode(random(+float, +float, -float), zero_or_one).
@@ -22 +24 @@
 
     :- public(randseq/4).
+    :- synchronized(randseq/4).
     :- mode(randseq(+integer, +integer, +integer, -list(integer)), zero_or_one).
     :- mode(randseq(+integer, +float, +float, -list(float)), zero_or_one).
@@ -29 +32 @@
 
     :- public(randset/4).
+    :- synchronized(randset/4).
     :- mode(randset(+integer, +integer, +integer, -list(integer)), zero_or_one).
     :- mode(randset(+integer, +float, +float, -list(float)), zero_or_one).
@@ -36 +40 @@
 
     :- public(reset_seed/0).
+    :- synchronized(reset_seed/0).
     :- mode(reset_seed, one).
     :- info(reset_seed/0, [
@@ -41 +46 @@
 
     :- public(set_seed/1).
+    :- synchronized(set_seed/1).
     :- mode(set_seed(+integer), zero_or_one).
     :- info(set_seed/1, [