Class NodeIdTerm

java.lang.Object

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

tools.refinery.logic.term.NodeIdTerm

All Implemented Interfaces:

AnyTerm, Term<Integer>

public class NodeIdTerm
extends AbstractTerm<Integer>

Constructor Summary

Constructors

Constructor	Description
NodeIdTerm(NodeVariable nodeVariable)

Method Summary

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

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

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

Methods inherited from interface AnyTerm

asType, getInputVariables, getPrivateVariables

Methods inherited from interface Term

reduce

Constructor Details

NodeIdTerm

public NodeIdTerm(NodeVariable nodeVariable)

Method Details

getNodeVariable

public NodeVariable getNodeVariable()

evaluate

public Integer evaluate(Valuation valuation)

rewriteSubTerms

public Term<Integer> rewriteSubTerms(TermRewriter termRewriter)

substitute

public Term<Integer> substitute(Substitution substitution)

getVariables

public Set<Variable> getVariables()

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractTerm<Integer>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractTerm<Integer>