Class Random

java.lang.Object

org.projog.core.math.AbstractArithmeticOperator

org.projog.core.math.builtin.Random

All Implemented Interfaces:

KnowledgeBaseConsumer, ArithmeticOperator, PreprocessableArithmeticOperator

public final class Random
extends AbstractArithmeticOperator

random(X) Evaluate to a random integer i for which 0 =< i < X.

Constructor Summary

Constructors

Constructor	Description
Random()

Method Summary

Modifier and Type	Method	Description
Numeric	calculate(Numeric n)
protected boolean	isPure()	Random is not pure.

Methods inherited from class AbstractArithmeticOperator

calculate, calculate, preprocess, setKnowledgeBase

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Random

public Random()

Method Details

calculate

public Numeric calculate(Numeric n)

Overrides:

calculate in class AbstractArithmeticOperator

isPure

protected boolean isPure()

Random is not pure. Multiple calls with the same argument do not produce identical results.

Overrides:

isPure in class AbstractArithmeticOperator

Returns:

true if pure and so can be preprocessed, else false