Class Variable

java.lang.Object
tools.refinery.logic.term.Variable
Direct Known Subclasses:
AnyDataVariable, NodeVariable

public abstract sealed class Variable extends Object permits AnyDataVariable, NodeVariable
  • Constructor Details

    • Variable

      protected Variable(String name)
  • Method Details

    • tryGetType

      public abstract Optional<Class<?>> tryGetType()
    • getName

      public String getName()
    • getExplicitName

      protected String getExplicitName()
    • isExplicitlyNamed

      public boolean isExplicitlyNamed()
    • getUniqueName

      public String getUniqueName()
    • renew

      public abstract Variable renew(@Nullable @Nullable String name)
    • renew

      public abstract Variable renew()
    • isNodeVariable

      public abstract boolean isNodeVariable()
    • isDataVariable

      public abstract boolean isDataVariable()
    • asNodeVariable

      public abstract NodeVariable asNodeVariable()
    • asDataVariable

      public abstract <T> DataVariable<T> asDataVariable(Class<T> type)
    • hashCodeWithSubstitution

      public abstract int hashCodeWithSubstitution(int sequenceNumber)
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • of

      public static NodeVariable of(@Nullable @Nullable String name)
    • of

      public static NodeVariable of()
    • of

      public static <T> DataVariable<T> of(@Nullable @Nullable String name, Class<T> type)
    • of

      public static <T> DataVariable<T> of(Class<T> type)