Class ComparisonTerm<T>
java.lang.Object
tools.refinery.logic.term.AbstractTerm<Boolean>
tools.refinery.logic.term.BinaryTerm<Boolean,T,T>
tools.refinery.logic.term.comparable.ComparisonTerm<T>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Boolean>
,Term<Boolean>
- Direct Known Subclasses:
EqTerm
,GreaterEqTerm
,GreaterTerm
,LessEqTerm
,LessTerm
,NotEqTerm
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.logic.term.BinaryTerm
doEvaluate, doSubstitute, equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getRight, getRightType, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
ComparisonTerm
-
-
Method Details
-
getArgumentType
-