public abstract class DefaultArithFunction extends java.lang.Object implements ArithFunction, java.io.Serializable
Constructor and Description |
---|
DefaultArithFunction() |
Modifier and Type | Method and Description |
---|---|
boolean |
allowUngroundTerms()
returns true if the arguments of the function can be unground (as in .count)
|
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
|
java.lang.String |
toString() |
public java.lang.String getName()
ArithFunction
getName
in interface ArithFunction
public boolean checkArity(int a)
ArithFunction
checkArity
in interface ArithFunction
public double evaluate(TransitionSystem ts, Term[] args) throws java.lang.Exception
ArithFunction
evaluate
in interface ArithFunction
java.lang.Exception
public boolean allowUngroundTerms()
ArithFunction
allowUngroundTerms
in interface ArithFunction
public java.lang.String toString()
toString
in class java.lang.Object