public abstract class MonotonicFunction
Actors often need to implement monotonic functions as part of the
declaration of type constraints. This base class makes it easy to do
so. In most cases, it is simply necessary to implement the getValue()
and getVariables() abstract methods.
Return the current value of this monotonic function given the
current value of the variables returned by getVariables(). Derived
classes should implement this method to return the current value
of the monotonic function.
Return the type variables in this inequality term. These are
the variables on which the value of the function depends. Derived
classes should implement this method to return an array of
InequalityTerms that this function depends on.
Return an additional string describing the current value
of this function. Subclasses may override this method to
give additional information in the toString() method. This
method may return null, indicating that no additional information is