Uses of Class
jason.asSyntax.DefaultTerm

Packages that use DefaultTerm
Package Description
jason.asSyntax  
  • Uses of DefaultTerm in jason.asSyntax

    Subclasses of DefaultTerm in jason.asSyntax
    Modifier and Type Class Description
    class  ArithExpr
    Represents and solve arithmetic expressions like "10 + 30".
    class  ArithFunctionTerm
    Represents an arithmetic function, like math.max(arg1,arg2) -- a functor (math.max) and two arguments.
    class  Atom
    Represents an atom (a positive literal with no argument and no annotation, e.g.
    class  BinaryStructure
    Represents a binary/unary logical/relational operator.
    class  CyclicTerm
    A term with recursion (cyclic), created by code like X = f(X).
    class  InternalActionLiteral
    A particular type of literal used to represent internal actions (which has a "." in the functor).
    class  ListTermImpl
    Represents a list node as in prolog .(t1,.(t2,.(t3,.))).
    class  Literal
    This class represents an abstract literal (an Atom, Structure, Predicate, etc), it is mainly the interface of a literal.
    private static class  Literal.DefaultNameSpace  
    (package private) static class  Literal.FalseLiteral  
    (package private) static class  Literal.TrueLiteral  
    class  LiteralImpl
    A Literal extends a Pred with strong negation (~).
    class  LogExpr
    Represents a logical formula with some logical operator ("&", "|", "not").
    class  MapTermImpl
    Represents a Jason map as a TreeMap in java
    class  NumberTermImpl
    Immutable class that implements a term that represents a number
    class  ObjectTermImpl  
    class  Plan
    Represents an AgentSpeak plan (it extends structure to be used as a term)
    class  PlanBodyImpl
    Represents a plan body item (achieve, test, action, ...) and its successors.
    class  Pred
    A Pred extends a Structure with annotations, e.g.: a(1)[an1,an2].
    class  RelExpr
    Represents a relational expression like 10 > 20.
    class  Rule
    A rule is a Literal (head) with a body, as in "a :- b & c".
    class  SetTermImpl
    Represents a Jason set as a TreeSet in java
    class  StringTermImpl
    Immutable class for string terms.
    class  Structure
    Represents a structure: a functor with n arguments, e.g.: val(10,x(3)).
    class  Trigger
    Represents an AgentSpeak trigger (like +!g, +p, ...).
    class  UnnamedVar
    Represents an unnamed variable '_'.
    class  VarTerm
    Represents a variable Term: like X (starts with upper case).