Package tools.refinery.logic.term.comparable

Class ComparisonTerm<T>

java.lang.Object

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

tools.refinery.logic.term.BinaryTerm<Boolean,T,T>

tools.refinery.logic.term.comparable.ComparisonTerm<T>

All Implemented Interfaces:

AnyTerm, Term<Boolean>

Direct Known Subclasses:

EqTerm, GreaterEqTerm, GreaterTerm, LessEqTerm, LessTerm, NotEqTerm

public abstract class ComparisonTerm<T>
extends BinaryTerm<Boolean,T,T>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ComparisonTerm(Class<T> argumentType, Term<T> left, Term<T> right)

Method Summary

Modifier and Type	Method	Description
Class<T>	getArgumentType()

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

ComparisonTerm

protected ComparisonTerm(Class<T> argumentType,
 Term<T> left,
 Term<T> right)

Method Details

getArgumentType

public Class<T> getArgumentType()