Package | Description |
---|---|
jason.asSyntax |
Modifier and Type | Class and 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 |
BodyLiteral
Deprecated.
use PlanBodyImpl instead.
|
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.
|
class |
LiteralImpl
A Literal extends a Pred with strong negation (~).
|
class |
LogExpr
Represents a logical formula with some logical operator ("&", "|", "not").
|
class |
NumberTermImpl
Immutable class that implements a term that represents a number
|
class |
ObjectTermImpl |
class |
Plan
Represents an AgentSpack 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 |
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).
|