Package tools.refinery.logic.term.int_

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 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

IntBinaryTerm

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