Package tools.refinery.logic.term

Class AbstractTerm<T>

java.lang.Object

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

All Implemented Interfaces:

AnyTerm, Term<T>

Direct Known Subclasses:

AbstractCallTerm, BinaryTerm, ConstantTerm, NodeIdTerm, UnaryTerm

public abstract class AbstractTerm<T>
extends Object
implements Term<T>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractTerm(Class<T> type)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
Class<T>	getType()
int	hashCode()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)

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, getInputVariables, getPrivateVariables, getVariables

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

evaluate, reduce, rewriteSubTerms, substitute

Constructor Details

AbstractTerm

protected AbstractTerm(Class<T> type)

Method Details

getType

public Class<T> getType()

Specified by:

getType in interface AnyTerm

Specified by:

getType in interface Term<T>

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object