public class Random extends DefaultArithFunction
Function: math.random(N)
: encapsulates java Math.random;
If N is not informed: returns a value greater than or equal to 0.0 and less than 1.0;
If N is informed: returns a value greater than or equal to 0.0 and less than N.
Examples:
math.random
: returns the random number between 0 and 1.math.random(10)
: returns the random number between 0 and 9.9999.floor
,
ceil
,
Serialized FormConstructor and Description |
---|
Random() |
Modifier and Type | Method and Description |
---|---|
boolean |
checkArity(int a)
returns true if a is a good number of arguments for the function
|
double |
evaluate(TransitionSystem ts,
Term[] args)
evaluates/computes the function based on the args
|
java.lang.String |
getName()
returns the name of the function
|
allowUngroundTerms, toString
public java.lang.String getName()
ArithFunction
getName
in interface ArithFunction
getName
in class DefaultArithFunction
public double evaluate(TransitionSystem ts, Term[] args) throws java.lang.Exception
ArithFunction
evaluate
in interface ArithFunction
evaluate
in class DefaultArithFunction
java.lang.Exception
public boolean checkArity(int a)
ArithFunction
checkArity
in interface ArithFunction
checkArity
in class DefaultArithFunction