Class UpperCardinalityAddTerm
java.lang.Object
tools.refinery.logic.term.AbstractTerm<UpperCardinality>
tools.refinery.logic.term.BinaryTerm<UpperCardinality,UpperCardinality,UpperCardinality>
tools.refinery.logic.term.uppercardinality.UpperCardinalityBinaryTerm
tools.refinery.logic.term.uppercardinality.UpperCardinalityAddTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<UpperCardinality>
,Term<UpperCardinality>
-
Constructor Summary
ModifierConstructorDescriptionprotected
UpperCardinalityAddTerm
(Term<UpperCardinality> left, Term<UpperCardinality> right) -
Method Summary
Modifier and TypeMethodDescriptionprotected UpperCardinality
doEvaluate
(UpperCardinality leftValue, UpperCardinality rightValue) doSubstitute
(Substitution substitution, Term<UpperCardinality> substitutedLeft, Term<UpperCardinality> substitutedRight) toString()
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
-
UpperCardinalityAddTerm
-
-
Method Details
-
doEvaluate
- Specified by:
doEvaluate
in classBinaryTerm<UpperCardinality,
UpperCardinality, UpperCardinality>
-
doSubstitute
public Term<UpperCardinality> doSubstitute(Substitution substitution, Term<UpperCardinality> substitutedLeft, Term<UpperCardinality> substitutedRight) - Specified by:
doSubstitute
in classBinaryTerm<UpperCardinality,
UpperCardinality, UpperCardinality>
-
toString
-