Class LessTerm<T extends Comparable<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>
tools.refinery.logic.term.comparable.LessTerm<T>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<Boolean>
,Term<Boolean>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected Boolean
doEvaluate
(T leftValue, T rightValue) doSubstitute
(Substitution substitution, Term<T> substitutedLeft, Term<T> substitutedRight) toString()
Methods inherited from class tools.refinery.logic.term.comparable.ComparisonTerm
getArgumentType
Methods inherited from class tools.refinery.logic.term.BinaryTerm
equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getRight, getRightType, hashCodeWithSubstitution, substitute
Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
LessTerm
-
-
Method Details
-
doEvaluate
- Specified by:
doEvaluate
in classBinaryTerm<Boolean,
T extends Comparable<T>, T extends Comparable<T>>
-
doSubstitute
public Term<Boolean> doSubstitute(Substitution substitution, Term<T> substitutedLeft, Term<T> substitutedRight) - Specified by:
doSubstitute
in classBinaryTerm<Boolean,
T extends Comparable<T>, T extends Comparable<T>>
-
toString
-