Package jason.asSyntax

Interface Term

All Superinterfaces:
Cloneable, Comparable<Term>, Serializable, ToDOM, ToJson
All Known Subinterfaces:
ListTerm, LogicalFormula, MapTerm, NumberTerm, ObjectTerm, PlanBody, SetTerm, StringTerm
All Known Implementing Classes:
ArithExpr, ArithFunctionTerm, Atom, BinaryStructure, CyclicTerm, DefaultTerm, InternalActionLiteral, ListTermImpl, Literal, LiteralImpl, LogExpr, MapTermImpl, NumberTermImpl, ObjectTermImpl, Plan, PlanBodyImpl, Pred, RelExpr, Rule, SetTermImpl, StringTermImpl, Structure, Trigger, UnnamedVar, VarTerm
public interface Term extends Cloneable, Comparable<Term>, Serializable, ToDOM, ToJson
Common interface for all kind of terms

  • Method Details

    • isVar

      boolean isVar()

    • isUnnamedVar

      boolean isUnnamedVar()

    • isLiteral

      boolean isLiteral()

    • isRule

      boolean isRule()

    • isList

      boolean isList()

    • isSet

      boolean isSet()

    • isMap

      boolean isMap()

    • isString

      boolean isString()

    • isInternalAction

      boolean isInternalAction()

    • isArithExpr

      boolean isArithExpr()

    • isNumeric

      boolean isNumeric()

    • isPred

      boolean isPred()

    • isGround

      boolean isGround()

    • isStructure

      boolean isStructure()

    • isAtom

      boolean isAtom()

    • isPlanBody

      boolean isPlanBody()

    • isCyclicTerm

      boolean isCyclicTerm()

    • hasVar

      boolean hasVar(VarTerm t, Unifier u)

    • getCyclicVar

      VarTerm getCyclicVar()

    • countVars

      void countVars(Map<VarTerm,Integer> c)

    • clone

      Term clone()

    • equals

      boolean equals(Object o)
      Overrides:
      equals in class Object

    • subsumes

      boolean subsumes(Term l)

    • capply

      Term capply(Unifier u)
      clone and applies together (and faster than clone and then apply)

    • cloneNS

      Term cloneNS(Atom newnamespace)
      clone in another namespace

    • setSrcInfo

      void setSrcInfo(SourceInfo s)
      Removes the value cached for hashCode

    • getSrcInfo

      SourceInfo getSrcInfo()