Class Var

    • Field Detail

      • ANON

        public static Var ANON
    • Method Detail

      • alloc

        public static Var alloc​(java.lang.String varName)
      • alloc

        public static Var alloc​(Node v)
      • alloc

        public static Var alloc​(Var v)
      • lookup

        public static Node lookup​(Binding binding,
                                  Node node)
        Return the value in the binding (if node is a Var) or the node itself.
      • lookup

        public static Node lookup​(Binding binding,
                                  Var var)
        Return the value in the binding or the variable itself.
      • lookup

        public static Node lookup​(java.util.function.Function<Var,​Node> access,
                                  Node node)
        Return the value of the access function or node itself.
      • lookup

        public static Node lookup​(java.util.function.Function<Var,​Node> access,
                                  Var var)
        Return the value of the access function or var itself.
      • asNode

        public Node asNode()
      • getVarName

        public java.lang.String getVarName()
      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class Node
      • equals

        public final boolean equals​(java.lang.Object other)
        Overrides:
        equals in class Node_Variable
      • isNamedVar

        public boolean isNamedVar()
      • isBlankNodeVar

        public boolean isBlankNodeVar()
      • isAllocVar

        public boolean isAllocVar()
      • isAnonVar

        public boolean isAnonVar()
      • canonical

        public static java.lang.String canonical​(java.lang.String x)
      • isVar

        public static boolean isVar​(Node node)
      • isRenamedVar

        public static boolean isRenamedVar​(Node node)
      • isRenamedVar

        public static boolean isRenamedVar​(java.lang.String x)
      • isNamedVar

        public static boolean isNamedVar​(Node node)
      • isNamedVarName

        public static boolean isNamedVarName​(java.lang.String x)
      • isBlankNodeVar

        public static boolean isBlankNodeVar​(Node node)
      • isBlankNodeVarName

        public static boolean isBlankNodeVarName​(java.lang.String x)
      • isAllocVar

        public static boolean isAllocVar​(Node node)
      • isAllocVarName

        public static boolean isAllocVarName​(java.lang.String x)
      • varList

        public static java.util.List<Var> varList​(java.util.Collection<java.lang.String> varNames)
        Convert a collection of variable names to variables
      • isAnonVar

        public static boolean isAnonVar​(Var var)
      • varNames

        public static java.util.List<java.lang.String> varNames​(java.util.Collection<Var> vars)
        Return a list of String names from a collection of variables