Class IntBinaryTerm

java.lang.Object

tools.refinery.logic.term.AbstractTerm<Integer>

tools.refinery.logic.term.BinaryTerm<Integer,Integer,Integer>

tools.refinery.logic.term.int_.IntBinaryTerm

All Implemented Interfaces:

AnyTerm, Term<Integer>

Direct Known Subclasses:

IntAddTerm, IntDivTerm, IntMaxTerm, IntMinTerm, IntMulTerm, IntPowTerm, IntSubTerm

public abstract class IntBinaryTerm
extends BinaryTerm<Integer,Integer,Integer>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	IntBinaryTerm(Term<Integer> left, Term<Integer> 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

IntBinaryTerm

protected IntBinaryTerm(Term<Integer> left,
 Term<Integer> right)