Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax |
Modifier and Type | Method and Description |
---|---|
boolean |
Agent.believes(LogicalFormula bel,
Unifier un)
Returns true if BB contains the literal bel (using unification to test).
|
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 |
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 |
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).
|
Modifier and Type | Method and Description |
---|---|
LogicalFormula |
RelExpr.clone()
make a hard copy of the terms
|
LogicalFormula |
LogExpr.clone()
make a hard copy of the terms
|
LogicalFormula |
Rule.getBody() |
LogicalFormula |
Plan.getContext() |
LogicalFormula |
LogExpr.getLHS()
gets the LHS of this Expression
|
LogicalFormula |
LogExpr.getRHS()
gets the RHS of this Expression
|
static LogicalFormula |
RelExpr.parseExpr(java.lang.String sExpr)
returns some LogicalFormula that can be evaluated
|
static LogicalFormula |
LogExpr.parseExpr(java.lang.String sExpr)
returns some LogicalFormula that can be evaluated
|
static LogicalFormula |
ASSyntax.parseFormula(java.lang.String sExpr)
creates a new logical formula by parsing a string
|
Modifier and Type | Method and Description |
---|---|
static Rule |
ASSyntax.createRule(Literal head,
LogicalFormula body)
Creates a new rule with a head and a body
|
void |
Plan.setContext(LogicalFormula le) |
Constructor and Description |
---|
LogExpr(LogExpr.LogicalOp oper,
LogicalFormula f) |
LogExpr(LogicalFormula f1,
LogExpr.LogicalOp oper,
LogicalFormula f2) |
Plan(Pred label,
Trigger te,
LogicalFormula ct,
PlanBody bd) |
Rule(Literal head,
LogicalFormula body) |