An interface for a term in an inequality over a CPO.
A term is either a constant, a variable, or a function.
In some applications, a term may be associated with an Object. For
example, the value of the term may represent a certain characteristic
of an Object, and it is necessary to get a reference of that Object
from a term. This can be done through the getAssociatedObject() method
of this interface.
Set the value of this term to the specified CPO element.
Return the Object associated with this term. If this term is
not associated with a particular Object, or it is not necessary
to obtain the reference of the associated Object, this method
can return null.
Return the value of this term. If this term is a constant,
return that constant; if this term is a variable, return the
current value of that variable; if this term is a function,
return the evaluation of that function based on the current
value of variables in the function.
An Object representing an element in the underlying CPO.
Return an array of variables contained in this term.
If this term is a constant, return an array of size zero;
if this term is a variable, return an array of size one that
contains this variable; if this term is a function, return an
array containing all the variables in the function.
Initialize the value of this term to the specified CPO element.
If this InequalityTerm is a simple variable that can be set to any
CPO element, set the value of the variable to the specified argument.
In this case, this method is equivalent to setValue()
with the same argument.
In some applications, this term is a structured object that only part
of it is a simple variable. In this case, set that variable part to
the specified argument.
e - An Object representing an element in the underlying CPO.