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, Term<R>

Direct Known Subclasses:

AbstractDomainBinaryTerm, AddTerm, AndTerm, BoolBinaryTerm, ComparisonTerm, DivTerm, IntBinaryTerm, MulTerm, OrTerm, PowTerm, RealBinaryTerm, SubTerm, UpperCardinalityBinaryTerm, XorTerm

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 Term<R>	constructWithSubTerms(Term<T1> newLeft, Term<T2> newRight)
protected abstract R	doEvaluate(T1 leftValue, T2 rightValue)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
R	evaluate(Valuation valuation)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Term<T1>	getLeft()
Class<T1>	getLeftType()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Term<T2>	getRight()
Class<T2>	getRightType()
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<R>	reduce()
Term<R>	rewriteSubTerms(TermRewriter termRewriter)
Term<R>	substitute(Substitution substitution)
Term<R>	withSubTerms(Term<T1> newLeft, Term<T2> newRight)

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

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)

reduce

public Term<R> reduce()

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>

rewriteSubTerms

public Term<R> rewriteSubTerms(TermRewriter termRewriter)

substitute

public Term<R> substitute(Substitution substitution)

withSubTerms

public Term<R> withSubTerms(Term<T1> newLeft,
 Term<T2> newRight)

constructWithSubTerms

protected abstract Term<R> constructWithSubTerms(Term<T1> newLeft,
 Term<T2> newRight)

getVariables

public Set<Variable> getVariables()

getInputVariables

public Set<Variable> getInputVariables(Set<? extends Variable> positiveVariablesInClause)

getPrivateVariables

public Set<Variable> getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)