All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GRandom 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GGObj
                   |
                   +----kl1.lang.GRandom
public final class GRandom
extends GGObj
This class represents a random number generator.

Author:
Satoshi KURAMOCHI

Constructor Index

o GRandom(int, int)
Constructs a random number generator.

Method Index

o ()
o _new(KL1Machine, KL1Object[])
Creates generic objects.
o active_unify(KL1Machine, KL1Object)
Performs an active unification.
o generate()
Generates a value.
o print()
Prints the information of the object.

Constructors

o GRandom 
 public GRandom(int range,
                int seed)
Constructs a random number generator.

Parameters:
range - A range of random numbers to be generated. It should be positive.
seed - A seed for random number generation.

Methods

o 
 static void ()
o generate 
 public KL1Object generate()
Generates a value.

Overrides:
generate in class GGObj
o print 
 public String print()
Prints the information of the object.

Overrides:
print in class KL1Object
o active_unify 
 public boolean active_unify(KL1Machine mach,
                             KL1Object that)
Performs an active unification.

Overrides:
active_unify in class GGObj
o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects. 

All Packages  Class Hierarchy  This Package  Previous  Next  Index