Package tools.refinery.logic.term
Class BinaryTerm<R,T1,T2>
java.lang.Object
tools.refinery.logic.term.AbstractTerm<R>
tools.refinery.logic.term.BinaryTerm<R,T1,T2>
- All Implemented Interfaces:
AnyTerm
,AssignedValue<R>
,Term<R>
- Direct Known Subclasses:
BoolBinaryTerm
,ComparisonTerm
,IntBinaryTerm
,RealBinaryTerm
,UpperCardinalityBinaryTerm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected abstract R
doEvaluate
(T1 leftValue, T2 rightValue) doSubstitute
(Substitution substitution, Term<T1> substitutedLeft, Term<T2> substitutedRight) boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, AnyTerm other) getLeft()
getRight()
int
substitute
(Substitution substitution) Methods inherited from class tools.refinery.logic.term.AbstractTerm
equals, getType, hashCode
-
Constructor Details
-
BinaryTerm
-
-
Method Details
-
getLeftType
-
getRightType
-
getLeft
-
getRight
-
evaluate
-
doEvaluate
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceAnyTerm
- Overrides:
equalsWithSubstitution
in classAbstractTerm<R>
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceAnyTerm
- Overrides:
hashCodeWithSubstitution
in classAbstractTerm<R>
-
substitute
-
doSubstitute
-
getInputVariables
-