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, Term<UpperCardinality>

Direct Known Subclasses:

UpperCardinalityAddTerm, UpperCardinalityMaxTerm, UpperCardinalityMinTerm, UpperCardinalityMulTerm

public abstract class UpperCardinalityBinaryTerm
extends BinaryTerm<UpperCardinality, UpperCardinality, UpperCardinality>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	UpperCardinalityBinaryTerm(Term<UpperCardinality> left, Term<UpperCardinality> right)

Method Summary

Methods inherited from class BinaryTerm

constructWithSubTerms, doEvaluate, equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getPrivateVariables, getRight, getRightType, getVariables, hashCodeWithSubstitution, reduce, rewriteSubTerms, substitute, withSubTerms

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AnyTerm

asType

Constructor Details

UpperCardinalityBinaryTerm

protected UpperCardinalityBinaryTerm(Term<UpperCardinality> left,
 Term<UpperCardinality> right)