Package tools.refinery.logic.term

Class AnyDataVariable

java.lang.Object

tools.refinery.logic.term.Variable

tools.refinery.logic.term.AnyDataVariable

All Implemented Interfaces:

AnyTerm

Direct Known Subclasses:

DataVariable

public abstract sealed class AnyDataVariable
extends Variable
implements AnyTerm
permits DataVariable<T>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AnyDataVariable(String name)

Method Summary

Modifier and Type	Method	Description
NodeVariable	asNodeVariable()
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
Set<Variable>	getVariables()
boolean	isDataVariable()
boolean	isNodeVariable()
abstract AnyDataVariable	renew()
abstract AnyDataVariable	renew(@Nullable String name)
Optional<Class<?>>	tryGetType()

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

asDataVariable, equals, getExplicitName, getName, getUniqueName, hashCode, hashCodeWithSubstitution, 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

asType, getInputVariables, getPrivateVariables, getType, hashCodeWithSubstitution, rewriteSubTerms, substitute

Constructor Details

AnyDataVariable

protected AnyDataVariable(String name)

Method Details

tryGetType

public Optional<Class<?>> tryGetType()

Specified by:

tryGetType 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

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

getVariables

public Set<Variable> getVariables()

Specified by:

getVariables in interface AnyTerm

renew

public abstract AnyDataVariable renew(@Nullable
 @Nullable String name)

Specified by:

renew in class Variable

renew

public abstract AnyDataVariable renew()

Specified by:

renew in class Variable