Class UnnamedVar

All Implemented Interfaces:
ListTerm, LogicalFormula, NumberTerm, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>, java.lang.Iterable<Term>, java.util.Collection<Term>, java.util.List<Term>

public class UnnamedVar
extends VarTerm
Represents an unnamed variable '_'.
Author:
jomi
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • varCont

      private static java.util.concurrent.atomic.AtomicInteger varCont
    • myId

      public int myId
  • Constructor Details

    • UnnamedVar

      public UnnamedVar()
    • UnnamedVar

      public UnnamedVar​(Atom ns)
    • UnnamedVar

      public UnnamedVar​(Atom ns, int id)
    • UnnamedVar

      public UnnamedVar​(int id)
    • UnnamedVar

      private UnnamedVar​(java.lang.String name)
    • UnnamedVar

      private UnnamedVar​(Atom ns, java.lang.String name)
  • Method Details

    • create

      public static UnnamedVar create​(java.lang.String name)
    • create

      public static UnnamedVar create​(Atom ns, java.lang.String name)
    • create

      public static UnnamedVar create​(Atom ns, int id, java.lang.String name)
    • clone

      public Term clone()
      Description copied from class: Structure
      make a deep copy of the terms
      Specified by:
      clone in interface Term
      Overrides:
      clone in class VarTerm
    • cloneNS

      public Literal cloneNS​(Atom newNameSpace)
      Description copied from interface: Term
      clone in another namespace
      Specified by:
      cloneNS in interface Term
      Overrides:
      cloneNS in class VarTerm
    • equals

      public boolean equals​(java.lang.Object t)
      Specified by:
      equals in interface java.util.Collection<Term>
      Specified by:
      equals in interface java.util.List<Term>
      Specified by:
      equals in interface Term
      Overrides:
      equals in class VarTerm
    • compareTo

      public int compareTo​(Term t)
      Specified by:
      compareTo in interface java.lang.Comparable<Term>
      Overrides:
      compareTo in class VarTerm
    • isUnnamedVar

      public boolean isUnnamedVar()
      Specified by:
      isUnnamedVar in interface Term
      Overrides:
      isUnnamedVar in class VarTerm