Package tools.refinery.logic.term

Class DataVariable<T>

java.lang.Object

tools.refinery.logic.term.Variable

tools.refinery.logic.term.AnyDataVariable

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

All Implemented Interfaces:

AnyTerm, Term<T>

public final class DataVariable<T>
extends AnyDataVariable
implements Term<T>

Method Summary

Modifier and Type	Method	Description
<U> DataVariable<U>	asDataVariable(Class<U> newType)
Literal	assign(Term<T> value)
boolean	equals(Object o)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
T	evaluate(Valuation valuation)
Class<T>	getType()
int	hashCode()
int	hashCodeWithSubstitution(int sequenceNumber)
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
EquivalenceLiteral	isEquivalent(DataVariable<T> other)
EquivalenceLiteral	notEquivalent(DataVariable<T> other)
DataVariable<T>	renew()
DataVariable<T>	renew(@Nullable String name)
Term<T>	rewriteSubTerms(TermRewriter termRewriter)
Term<T>	substitute(Substitution substitution)

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

asNodeVariable, getVariables, isDataVariable, isNodeVariable, tryGetType

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

getExplicitName, getName, getUniqueName, isExplicitlyNamed, of, of, of, of, toString

Methods inherited from class java.lang.Object

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

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

getInputVariables, getPrivateVariables, getVariables

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

reduce

Method Details

getType

public Class<T> getType()

Specified by:

getType in interface AnyTerm

Specified by:

getType in interface Term<T>

renew

public DataVariable<T> renew(@Nullable
 @Nullable String name)

Specified by:

renew in class AnyDataVariable

renew

public DataVariable<T> renew()

Specified by:

renew in class AnyDataVariable

asDataVariable

public <U> DataVariable<U> asDataVariable(Class<U> newType)

Specified by:

asDataVariable in class Variable

evaluate

public T evaluate(Valuation valuation)

Specified by:

evaluate in interface Term<T>

rewriteSubTerms

public Term<T> rewriteSubTerms(TermRewriter termRewriter)

Specified by:

rewriteSubTerms in interface AnyTerm

Specified by:

rewriteSubTerms in interface Term<T>

substitute

public Term<T> substitute(Substitution substitution)

Specified by:

substitute in interface AnyTerm

Specified by:

substitute in interface Term<T>

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AnyDataVariable

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

hashCodeWithSubstitution

public int hashCodeWithSubstitution(int sequenceNumber)

Specified by:

hashCodeWithSubstitution in class Variable

assign

public Literal assign(Term<T> value)

equals

public boolean equals(Object o)

Overrides:

equals in class Variable

hashCode

public int hashCode()

Overrides:

hashCode in class Variable

isEquivalent

public EquivalenceLiteral isEquivalent(DataVariable<T> other)

notEquivalent

public EquivalenceLiteral notEquivalent(DataVariable<T> other)