Class Literal.DefaultNameSpace

java.lang.Object
All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>
Enclosing class:
Literal

private static final class Literal.DefaultNameSpace
extends Atom
  • Constructor Details

    • DefaultNameSpace

      public DefaultNameSpace()
  • Method Details

    • calcHashCode

      protected int calcHashCode()
      Overrides:
      calcHashCode in class Atom
    • 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 Atom
    • 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 Atom
    • getNS

      public Atom getNS()
      Description copied from class: Literal
      returns the name spaceof this literal
      Overrides:
      getNS in class Atom
    • equals

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

      public java.lang.String toString()
      Overrides:
      toString in class Atom
    • readResolve

      protected java.lang.Object readResolve()