Uses of Interface
jason.asSyntax.LogicalFormula

Packages that use LogicalFormula

jason.asSemantics
jason.asSyntax

Uses of LogicalFormula in jason.asSemantics

Methods in jason.asSemantics with parameters of type LogicalFormula

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

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

Methods in jason.asSyntax that return LogicalFormula

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

Methods in jason.asSyntax with parameters of type LogicalFormula

static Rule	ASSyntax.createRule(Literal head, LogicalFormula body) Creates a new rule with a head and a body
void	Plan.setContext(LogicalFormula le)

Constructors in jason.asSyntax with parameters of type LogicalFormula

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)