Package jason.asSyntax

  • Interface Summary
    Interface Description
    ListTerm
    The interface for lists of the AgentSpeak language
    LogicalFormula
    Represents a logical formula (p, p & q, not p, 3 > X, ...) which can be evaluated into a truth value.
    MapTerm
    The interface for maps in the AgentSpeak language
    NumberTerm
    The interface for numeric terms of AgentSpeak language
    ObjectTerm
    Interface for terms that encapsulate java objects
    PlanBody
    Interface for elements of a plans's body.
    SetTerm
    The interface for sets in the AgentSpeak language
    StringTerm
    The interface for string terms of the AgentSpeak language
    Term
    Common interface for all kind of terms
  • Class Summary
    Class Description
    ArithExpr
    Represents and solve arithmetic expressions like "10 + 30".
    ArithFunctionTerm
    Represents an arithmetic function, like math.max(arg1,arg2) -- a functor (math.max) and two arguments.
    Atom
    Represents an atom (a positive literal with no argument and no annotation, e.g.
    BinaryStructure
    Represents a binary/unary logical/relational operator.
    CyclicTerm
    A term with recursion (cyclic), created by code like X = f(X).
    DefaultTerm
    Base class for all terms.
    InternalActionLiteral
    A particular type of literal used to represent internal actions (which has a "." in the functor).
    ListTermImpl
    Represents a list node as in prolog .(t1,.(t2,.(t3,.))).
    Literal
    This class represents an abstract literal (an Atom, Structure, Predicate, etc), it is mainly the interface of a literal.
    Literal.DefaultNameSpace  
    Literal.FalseLiteral  
    Literal.TrueLiteral  
    LiteralImpl
    A Literal extends a Pred with strong negation (~).
    LogExpr
    Represents a logical formula with some logical operator ("&", "|", "not").
    MapTermImpl
    Represents a Jason map as a TreeMap in java
    NumberTermImpl
    Immutable class that implements a term that represents a number
    ObjectTermImpl  
    Plan
    Represents an AgentSpeak plan (it extends structure to be used as a term)
    PlanBodyImpl
    Represents a plan body item (achieve, test, action, ...) and its successors.
    PlanLibrary
    Represents a set of plans used by an agent
    Pred
    A Pred extends a Structure with annotations, e.g.: a(1)[an1,an2].
    PredicateIndicator
    Represents the "type" of a predicate based on the functor and the arity, e.g.: ask/4
    RelExpr
    Represents a relational expression like 10 > 20.
    Rule
    A rule is a Literal (head) with a body, as in "a :- b & c".
    SetTermImpl
    Represents a Jason set as a TreeSet in java
    SourceInfo
    Store information about the file source of some term (atom, literal, etc).
    StringTermImpl
    Immutable class for string terms.
    Structure
    Represents a structure: a functor with n arguments, e.g.: val(10,x(3)).
    Trigger
    Represents an AgentSpeak trigger (like +!g, +p, ...).
    UnnamedVar
    Represents an unnamed variable '_'.
    VarTerm
    Represents a variable Term: like X (starts with upper case).
  • Enum Summary
    Enum Description
    ArithExpr.ArithmeticOp  
    BodyLiteral.BodyType Deprecated.
    Use BodyType of PlanBody instead
    LogExpr.LogicalOp  
    PlanBody.BodyType  
    RelExpr.RelationalOp  
    Trigger.TEOperator  
    Trigger.TEType