Uses of Interface
jason.asSyntax.LogicalFormula
Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax | |
jason.stdlib |
Internal actions of Jason.
|
-
Uses of LogicalFormula in jason.asSemantics
Methods in jason.asSemantics with parameters of type LogicalFormula Modifier and Type Method Description boolean
Agent. believes(LogicalFormula bel, Unifier un)
Returns true if BB contains the literal bel (using unification to test). -
Uses of LogicalFormula in jason.asSyntax
Classes in jason.asSyntax that implement LogicalFormula Modifier and Type Class 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
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.private static class
Literal.DefaultNameSpace
(package private) static class
Literal.FalseLiteral
(package private) static class
Literal.TrueLiteral
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 AgentSpeak 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).Fields in jason.asSyntax declared as LogicalFormula Modifier and Type Field Description private LogicalFormula
Rule. body
private LogicalFormula
Plan. context
private LogicalFormula
Plan. goalCondition
Methods in jason.asSyntax that return LogicalFormula Modifier and Type Method Description LogicalFormula
LogExpr. clone()
make a hard copy of the termsLogicalFormula
RelExpr. clone()
make a hard copy of the termsLogicalFormula
Rule. getBody()
LogicalFormula
Plan. getContext()
LogicalFormula
Plan. getGoalCondition()
LogicalFormula
LogExpr. getLHS()
gets the LHS of this ExpressionLogicalFormula
LogExpr. getRHS()
gets the RHS of this Expressionstatic LogicalFormula
LogExpr. parseExpr(java.lang.String sExpr)
returns some LogicalFormula that can be evaluatedstatic LogicalFormula
RelExpr. parseExpr(java.lang.String sExpr)
returns some LogicalFormula that can be evaluatedstatic LogicalFormula
ASSyntax. parseFormula(java.lang.String sExpr)
creates a new logical formula by parsing a stringMethods in jason.asSyntax with parameters of type LogicalFormula Modifier and Type Method Description static Rule
ASSyntax. createRule(Literal head, LogicalFormula body)
Creates a new rule with a head and a bodyvoid
Plan. setContext(LogicalFormula le)
void
Plan. setGoalCondition(LogicalFormula f)
Constructors in jason.asSyntax with parameters of type LogicalFormula Constructor 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)
-
Uses of LogicalFormula in jason.stdlib
Fields in jason.stdlib declared as LogicalFormula Modifier and Type Field Description private LogicalFormula
wait.WaitEvent. formula
Constructors in jason.stdlib with parameters of type LogicalFormula Constructor Description WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)