Package tools.refinery.logic.term.uppercardinality

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 tools.refinery.logic.term.BinaryTerm

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

Methods inherited from class tools.refinery.logic.term.AbstractTerm

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.term.AnyTerm

asType

Constructor Details

UpperCardinalityBinaryTerm

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