Class UpperCardinalityBinaryTerm
java.lang.Object
tools.refinery.logic.term.AbstractTerm<UpperCardinality>
tools.refinery.logic.term.BinaryTerm<UpperCardinality,UpperCardinality,UpperCardinality>
tools.refinery.logic.term.uppercardinality.UpperCardinalityBinaryTerm
- All Implemented Interfaces:
AnyTerm
,AssignedValue<UpperCardinality>
,Term<UpperCardinality>
- Direct Known Subclasses:
UpperCardinalityAddTerm
,UpperCardinalityMaxTerm
,UpperCardinalityMinTerm
,UpperCardinalityMulTerm
public abstract class UpperCardinalityBinaryTerm
extends BinaryTerm<UpperCardinality,UpperCardinality,UpperCardinality>
-
Constructor Summary
ModifierConstructorDescriptionprotected
UpperCardinalityBinaryTerm
(Term<UpperCardinality> left, Term<UpperCardinality> right) -
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
-
UpperCardinalityBinaryTerm
-