Package tools.refinery.logic.term

Class NodeVariable

java.lang.Object

tools.refinery.logic.term.Variable

tools.refinery.logic.term.NodeVariable

public final class NodeVariable
extends Variable

Method Summary

Modifier and Type	Method	Description
<T> DataVariable<T>	asDataVariable(Class<T> type)
NodeVariable	asNodeVariable()
int	hashCodeWithSubstitution(int sequenceNumber)
ConstantLiteral	isConstant(int value)
boolean	isDataVariable()
EquivalenceLiteral	isEquivalent(NodeVariable other)
boolean	isNodeVariable()
EquivalenceLiteral	notEquivalent(NodeVariable other)
NodeVariable	renew()
NodeVariable	renew(@Nullable String name)
Optional<Class<?>>	tryGetType()

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

equals, getExplicitName, getName, getUniqueName, hashCode, isExplicitlyNamed, of, of, of, of, toString

Methods inherited from class java.lang.Object

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

Method Details

tryGetType

public Optional<Class<?>> tryGetType()

Specified by:

tryGetType in class Variable

renew

public NodeVariable renew(@Nullable
 @Nullable String name)

Specified by:

renew in class Variable

renew

public NodeVariable renew()

Specified by:

renew in class Variable

isNodeVariable

public boolean isNodeVariable()

Specified by:

isNodeVariable in class Variable

isDataVariable

public boolean isDataVariable()

Specified by:

isDataVariable in class Variable

asNodeVariable

public NodeVariable asNodeVariable()

Specified by:

asNodeVariable in class Variable

asDataVariable

public <T> DataVariable<T> asDataVariable(Class<T> type)

Specified by:

asDataVariable in class Variable

hashCodeWithSubstitution

public int hashCodeWithSubstitution(int sequenceNumber)

Specified by:

hashCodeWithSubstitution in class Variable

isConstant

public ConstantLiteral isConstant(int value)

isEquivalent

public EquivalenceLiteral isEquivalent(NodeVariable other)

notEquivalent

public EquivalenceLiteral notEquivalent(NodeVariable other)