Package tools.refinery.logic.term

Class UnaryTerm<R,T>

java.lang.Object

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

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

All Implemented Interfaces:

AnyTerm, AssignedValue<R>, Term<R>

Direct Known Subclasses:

BoolNotTerm, IntToRealTerm, IntUnaryTerm, RealToIntTerm, RealUnaryTerm

public abstract class UnaryTerm<R,T>
extends AbstractTerm<R>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	UnaryTerm(Class<R> type, Class<T> bodyType, Term<T> body)

Method Summary

Modifier and Type	Method	Description
protected abstract R	doEvaluate(T bodyValue)
protected abstract Term<R>	doSubstitute(Substitution substitution, Term<T> substitutedBody)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
R	evaluate(Valuation valuation)
Term<T>	getBody()
Class<T>	getBodyType()
Set<AnyDataVariable>	getInputVariables()
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

UnaryTerm

protected UnaryTerm(Class<R> type,
 Class<T> bodyType,
 Term<T> body)

Method Details

getBodyType

public Class<T> getBodyType()

getBody

public Term<T> getBody()

evaluate

public R evaluate(Valuation valuation)

doEvaluate

protected abstract R doEvaluate(T bodyValue)

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

protected abstract Term<R> doSubstitute(Substitution substitution,
 Term<T> substitutedBody)

getInputVariables

public Set<AnyDataVariable> getInputVariables()