Class Atom

java.lang.Object
All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>
Direct Known Subclasses:
Literal.DefaultNameSpace, Literal.FalseLiteral, Literal.TrueLiteral, Structure

public class Atom
extends Literal
Represents an atom (a positive literal with no argument and no annotation, e.g. "tell", "a").
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

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

      private static java.util.logging.Logger logger
    • functor

      private final java.lang.String functor
    • ns

      private final Atom ns
  • Constructor Details

    • Atom

      public Atom​(java.lang.String functor)
    • Atom

      protected Atom​(Atom namespace, java.lang.String functor)
    • Atom

      public Atom​(Literal l)
    • Atom

      public Atom​(Literal l, Unifier u)
    • Atom

      public Atom​(Atom namespace, Literal l)
  • Method Details

    • getFunctor

      public java.lang.String getFunctor()
      Description copied from class: Literal
      returns the functor of this literal
      Specified by:
      getFunctor in class Literal
    • getNS

      public Atom getNS()
      Description copied from class: Literal
      returns the name spaceof this literal
      Specified by:
      getNS in class Literal
    • clone

      public Term clone()
      Specified by:
      clone in interface Term
      Specified by:
      clone in class DefaultTerm
    • capply

      public Term capply​(Unifier u)
      Description copied from interface: Term
      clone and applies together (and faster than clone and then apply)
      Specified by:
      capply in interface Term
      Overrides:
      capply in class DefaultTerm
    • 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 DefaultTerm
    • isAtom

      public boolean isAtom()
      Specified by:
      isAtom in interface Term
      Overrides:
      isAtom in class DefaultTerm
    • equals

      public boolean equals​(java.lang.Object o)
      Specified by:
      equals in interface Term
      Overrides:
      equals in class java.lang.Object
    • compareTo

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

      protected int calcHashCode()
      Specified by:
      calcHashCode in class DefaultTerm
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object
    • getAsDOM

      public org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
      get as XML