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.
|
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 | 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.
|
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.
|
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.
|
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 | Description |
---|---|
ArithExpr.ArithmeticOp | |
BodyLiteral.BodyType | Deprecated
Use BodyType of PlanBody instead
|
LogExpr.LogicalOp | |
PlanBody.BodyType | |
RelExpr.RelationalOp | |
Trigger.TEOperator | |
Trigger.TEType |