org.projog.core.math.builtin

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 and Description
Random()

Method Summary

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

Methods inherited from class org.projog.core.math.AbstractArithmeticOperator

calculate, calculate, preprocess, setKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

Random

public Random()

Method Detail

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