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

java.lang.Object

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

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

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

All Implemented Interfaces:

AnyTerm, Term<R>

Direct Known Subclasses:

AbstractDomainLowerBoundTerm, AbstractDomainUpperBoundTerm, AsStringTerm, IsConcreteTerm, IsErrorTerm

public abstract class AbstractDomainUnaryTerm<R, A extends AbstractValue<A,C>, C>
extends UnaryTerm<R,A>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractDomainUnaryTerm(Class<R> type, AbstractDomain<A,C> abstractDomain, Term<A> body)

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 UnaryTerm

constructWithBody, doEvaluate, evaluate, getBody, getBodyType, getInputVariables, getPrivateVariables, getVariables, reduce, rewriteSubTerms, substitute, withBody

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AnyTerm

asType

Constructor Details

AbstractDomainUnaryTerm

protected AbstractDomainUnaryTerm(Class<R> type,
 AbstractDomain<A,C> abstractDomain,
 Term<A> body)

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 UnaryTerm<R, A extends AbstractValue<A,C>>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

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