Class Literal.TrueLiteral

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

static final class Literal.TrueLiteral
extends Atom
  • Constructor Details

    • TrueLiteral

      public TrueLiteral()
  • Method Details

    • 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
    • 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
    • logicalConsequence

      public java.util.Iterator<Unifier> logicalConsequence​(Agent ag, Unifier un)
      Description copied from class: Literal
      logicalConsequence checks whether one particular predicate is a logical consequence of the belief base. Returns an iterator for all unifiers that are logCons.
      Specified by:
      logicalConsequence in interface LogicalFormula
      Overrides:
      logicalConsequence in class Literal
    • readResolve

      protected java.lang.Object readResolve()