Package tools.refinery.logic.term

Class ConstantTerm<T>

java.lang.Object

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

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

All Implemented Interfaces:

AnyTerm, AssignedValue<T>, 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)
Set<AnyDataVariable>	getInputVariables()
T	getValue()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<T>	substitute(Substitution substitution)
String	toString()

Methods inherited from class tools.refinery.logic.term.AbstractTerm

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.term.Term

toLiteral

Constructor Details

ConstantTerm

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

Method Details

getValue

public T getValue()

evaluate

public T evaluate(Valuation valuation)

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>

getInputVariables

public Set<AnyDataVariable> getInputVariables()

toString

public String toString()

Overrides:

toString in class Object