Changeset 3875 for trunk/library

Timestamp:

10/12/07 17:08:21 (15 months ago)

Author:

pmoura

Message:

Updated the library object "random" by replacing the synchronized/0 directive by a synchronized/1 directive listing only the predicates that modify the random number seed.

Files:

• trunk/library/random.lgt (modified) (1 diff)

trunk/library/random.lgt

@@ -4 +4 @@
 
     :- info([
-        version is 1.3,
+        version is 1.4,
         author is 'Paulo Moura',
-        date is 2007/3/24,
+        date is 2007/10/13,
         comment is 'Random number generator predicates.']).
 
-    :- synchronized.    % make all object predicates multi-threading aware
+    :- synchronized([random/1, randseq/4, randset/4, reset_seed/0, set_seed/1]).
 
     :- initialization(::reset_seed).