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 (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). |