Package tools.refinery.logic.term

Class BinaryTerm<R,T1,T2>

java.lang.Object

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

tools.refinery.logic.term.BinaryTerm<R,T1,T2>

All Implemented Interfaces:

AnyTerm, AssignedValue<R>, Term<R>

Direct Known Subclasses:

BoolBinaryTerm, ComparisonTerm, IntBinaryTerm, RealBinaryTerm, UpperCardinalityBinaryTerm

public abstract class BinaryTerm<R,T1,T2>
extends AbstractTerm<R>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BinaryTerm(Class<R> type, Class<T1> leftType, Class<T2> rightType, Term<T1> left, Term<T2> right)

Method Summary

Modifier and Type	Method	Description
protected abstract R	doEvaluate(T1 leftValue, T2 rightValue)
abstract Term<R>	doSubstitute(Substitution substitution, Term<T1> substitutedLeft, Term<T2> substitutedRight)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
R	evaluate(Valuation valuation)
Set<AnyDataVariable>	getInputVariables()
Term<T1>	getLeft()
Class<T1>	getLeftType()
Term<T2>	getRight()
Class<T2>	getRightType()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<R>	substitute(Substitution substitution)

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

toLiteral

Constructor Details

BinaryTerm

protected BinaryTerm(Class<R> type,
 Class<T1> leftType,
 Class<T2> rightType,
 Term<T1> left,
 Term<T2> right)

Method Details

getLeftType

public Class<T1> getLeftType()

getRightType

public Class<T2> getRightType()

getLeft

public Term<T1> getLeft()

getRight

public Term<T2> getRight()

evaluate

public R evaluate(Valuation valuation)

doEvaluate

protected abstract R doEvaluate(T1 leftValue,
 T2 rightValue)

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractTerm<R>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractTerm<R>

substitute

public Term<R> substitute(Substitution substitution)

doSubstitute

public abstract Term<R> doSubstitute(Substitution substitution,
 Term<T1> substitutedLeft,
 Term<T2> substitutedRight)

getInputVariables

public Set<AnyDataVariable> getInputVariables()