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

Direct Known Subclasses:

AbstractDomainUnaryTerm, AsIntIntervalTerm, AsRealIntervalTerm, AsTruthValueTerm, BoolNotTerm, ExpTerm, IntIntervalFromStringTerm, IntToRealTerm, IntUnaryTerm, LogTerm, MinusTerm, NotTerm, PlusTerm, RealIntervalFromStringTerm, RealToIntTerm, RealUnaryTerm, SqrtTerm, TruthValueFromStringTerm, TruthValueMayTerm, TruthValueMustTerm

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 Term<R>	constructWithBody(Term<T> newBody)
protected abstract R	doEvaluate(T bodyValue)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
R	evaluate(Valuation valuation)
Term<T>	getBody()
Class<T>	getBodyType()
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<R>	reduce()
Term<R>	rewriteSubTerms(TermRewriter termRewriter)
Term<R>	substitute(Substitution substitution)
Term<R>	withBody(Term<T> newBody)

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

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)

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)

withBody

public Term<R> withBody(Term<T> newBody)

constructWithBody

protected abstract Term<R> constructWithBody(Term<T> newBody)

getVariables

public Set<Variable> getVariables()

getInputVariables

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

getPrivateVariables

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