Package tools.refinery.logic.term.abstractdomain

Class AbstractDomainBinaryTerm<R,A extends AbstractValue<A,C>,C>

java.lang.Object

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

tools.refinery.logic.term.BinaryTerm<R,A,A>

tools.refinery.logic.term.abstractdomain.AbstractDomainBinaryTerm<R,A,C>

All Implemented Interfaces:

AnyTerm, Term<R>

Direct Known Subclasses:

AbstractDomainEqTerm, AbstractDomainGreaterEqTerm, AbstractDomainGreaterTerm, AbstractDomainJoinTerm, AbstractDomainLessEqTerm, AbstractDomainLessTerm, AbstractDomainMaxTerm, AbstractDomainMeetTerm, AbstractDomainMinTerm, AbstractDomainNotEqTerm, AbstractDomainRangeTerm, AbstractDomainSubsetTerm, AbstractDomainSupersetTerm

public abstract class AbstractDomainBinaryTerm<R,A extends AbstractValue<A,C>,C>
extends BinaryTerm<R,A,A>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractDomainBinaryTerm(Class<R> resultType, AbstractDomain<A,C> abstractDomain, Term<A> left, Term<A> right)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
AbstractDomain<A,C>	getAbstractDomain()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Methods inherited from class tools.refinery.logic.term.BinaryTerm

constructWithSubTerms, doEvaluate, evaluate, getInputVariables, getLeft, getLeftType, getPrivateVariables, getRight, getRightType, getVariables, 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

AbstractDomainBinaryTerm

protected AbstractDomainBinaryTerm(Class<R> resultType,
 AbstractDomain<A,C> abstractDomain,
 Term<A> left,
 Term<A> right)

Method Details

getAbstractDomain

public AbstractDomain<A,C> getAbstractDomain()

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class BinaryTerm<R,A extends AbstractValue<A,C>,A extends AbstractValue<A,C>>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class BinaryTerm<R,A extends AbstractValue<A,C>,A extends AbstractValue<A,C>>