Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package jason.asSyntax

Interface Summary
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.
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.
StringTerm | The interface for string terms of the AgentSpeak language
Term | Common interface for all kind of terms

Class Summary
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.
ASSyntax | Factory for objects used in Jason AgentSpeak syntax.
Atom | Represents an atom (a positive literal with no argument and no annotation, e.g.
BinaryStructure | Represents a binary/unary logical/relational operator.
BodyLiteral | Deprecated. use PlanBodyImpl instead.
DefaultTerm | Base class for all terms.
InternalActionLiteral | A particular type of literal used to represent internal actions (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.
LiteralImpl | A Literal extends a Pred with strong negation (~).
LogExpr | Represents a logical formula with some logical operator ("&", "|", "not").
NumberTermImpl | Immutable class that implements a term that represents a number
ObjectTermImpl |
Plan | Represents an AgentSpack 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".
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
ArithExpr.ArithmeticOp |
BodyLiteral.BodyType | Deprecated. Use BodyType of PlanBody instead
LogExpr.LogicalOp |
PlanBody.BodyType |
RelExpr.RelationalOp |
Trigger.TEOperator |
Trigger.TEType |

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES