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:

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 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

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)