Class InternalActionLiteral

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

public class InternalActionLiteral
extends Structure
implements LogicalFormula
A particular type of literal used to represent internal actions (which has a "." in the functor).
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
    • ia

      private InternalAction ia
  • Constructor Details

    • InternalActionLiteral

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

      public InternalActionLiteral​(InternalActionLiteral l)
    • InternalActionLiteral

      private InternalActionLiteral​(InternalActionLiteral l, Unifier u)
    • InternalActionLiteral

      private InternalActionLiteral​(Atom ns, InternalActionLiteral l)
    • InternalActionLiteral

      public InternalActionLiteral​(Structure p, Agent ag) throws java.lang.Exception
      Throws:
      java.lang.Exception
    • InternalActionLiteral

      public InternalActionLiteral​(Atom ns, Structure p, Agent ag) throws java.lang.Exception
      Throws:
      java.lang.Exception
  • Method Details