Class ConstantTerm<T>

java.lang.Object

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

tools.refinery.logic.term.ConstantTerm<T>

All Implemented Interfaces:

AnyTerm, Term<T>

public final class ConstantTerm<T>
extends AbstractTerm<T>

Constructor Summary

Constructors

Constructor	Description
ConstantTerm(Class<T> type, T value)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
T	evaluate(Valuation valuation)
T	getValue()
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<T>	rewriteSubTerms(TermRewriter termRewriter)
Term<T>	substitute(Substitution substitution)
String	toString()

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

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

Methods inherited from interface AnyTerm

asType, getInputVariables, getPrivateVariables

Methods inherited from interface Term

reduce

Constructor Details

ConstantTerm

public ConstantTerm(Class<T> type,
 T value)

Method Details

getValue

public T getValue()

evaluate

public T evaluate(Valuation valuation)

rewriteSubTerms

public Term<T> rewriteSubTerms(TermRewriter termRewriter)

substitute

public Term<T> substitute(Substitution substitution)

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractTerm<T>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractTerm<T>

getVariables

public Set<Variable> getVariables()

toString

public String toString()

Overrides:

toString in class Object