Uses of Interface
astra.formula.Formula

Packages that use Formula

Package	Description
astra.core
astra.debugger
astra.formula
astra.messaging
astra.reasoner
astra.reasoner.node
astra.reasoner.unifier
astra.reasoner.util
astra.statement
astra.term
astra.tr

Uses of Formula in astra.core

Fields in astra.core declared as Formula

Modifier and Type	Field	Description
Formula	Rule.context
Formula	GoalRule.dropCondition

Methods in astra.core that return types with arguments of type Formula

Modifier and Type	Method	Description
List<Formula>	BeliefStore.beliefs()
List<Formula>	EventBeliefManager.beliefs()
List<Formula>	HierarchicalBeliefStore.beliefs()
List<Formula>	HierarchicalBeliefStore.getMatchingBeliefs(Predicate formula)
List<Formula>	Fragment.getMatchingFormulae(Formula predicate)
Iterator<Formula>	Agent.iterator(Formula formula)
Iterator<Formula>	ASTRAClass.iterator(Formula formula)
Iterator<Formula>	BeliefStore.iterator(Formula formula)
Iterator<Formula>	EventBeliefManager.iterator(Formula target)

Methods in astra.core with parameters of type Formula

Modifier and Type	Method	Description
void	Agent.addMatchingFormulae(Queue<Formula> queue, Formula formula)
void	ASTRAClass.addMatchingFormulae(Queue<Formula> queue, Formula predicate)
void	EventBeliefManager.addMatchingFormulae(Queue<Formula> queue, Formula formula)
List<Formula>	Fragment.getMatchingFormulae(Formula predicate)
Iterator<Formula>	Agent.iterator(Formula formula)
Iterator<Formula>	ASTRAClass.iterator(Formula formula)
Iterator<Formula>	BeliefStore.iterator(Formula formula)
Iterator<Formula>	EventBeliefManager.iterator(Formula target)
List<Map<Integer,Term>>	Agent.query(Formula formula, Map<Integer,Term> bindings)
Map<Integer,Term>	Intention.query(Formula formula)
List<Map<Integer,Term>>	Agent.queryAll(Formula formula)
List<Map<Integer,Term>>	Intention.queryAll(Formula formula)

Method parameters in astra.core with type arguments of type Formula

Modifier and Type	Method	Description
void	Intention.addGoals(Queue<Formula> queue, Goal goal)
void	RuleExecutor.addGoals(Queue<Formula> queue, Goal goal)
void	StatementExecutor.addGoals(Queue<Formula> queue, Goal goal)
void	BeliefStore.addMatchingBeliefs(Queue<Formula> queue, Predicate formula)
void	Agent.addMatchingFormulae(Queue<Formula> queue, Formula formula)
void	ASTRAClass.addMatchingFormulae(Queue<Formula> queue, Formula predicate)
void	EventBeliefManager.addMatchingFormulae(Queue<Formula> queue, Formula formula)

Constructors in astra.core with parameters of type Formula

Constructor	Description
GoalRule(Event event, Formula context, Formula dropCondition, Statement statement)
GoalRule(Event event, Formula context, Statement statement)
GoalRule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement)
GoalRule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement, Rule[] rules)
GoalRule(String clazz, int[] data, Event event, Formula context, Statement statement)
GoalRule(String clazz, int[] data, Event event, Formula context, Statement statement, Rule[] rules)
Rule(Event event, Formula context, Statement statement)
Rule(String clazz, int[] data, Event event, Formula context, Formula dropCondition, Statement statement)
Rule(String clazz, int[] data, Event event, Formula context, Statement statement)

Uses of Formula in astra.debugger

Methods in astra.debugger with parameters of type Formula

Modifier and Type	Method	Description
void	Breakpoints.check(Agent agent, Rule rule, Formula context, List<Map<Integer,Term>> results)

Uses of Formula in astra.formula

Classes in astra.formula that implement Formula

Modifier and Type	Class	Description
class	AcreFormula
class	AND
class	Bind
class	BracketFormula
class	Comparison
class	FormulaVariable
class	Goal
class	Inference
class	IsDone
class	IsNull
class	ModuleFormula
class	NOT
class	OR
class	Predicate
class	ScopedGoal

Fields in astra.formula declared as Formula

Modifier and Type	Field	Description
Formula[]	AND.formulae

Methods in astra.formula that return Formula

Modifier and Type	Method	Description
Formula	Inference.body()
Formula	AcreFormula.content()
Formula	BracketFormula.formula()
Formula	NOT.formula()
Formula[]	OR.formulae()
abstract Formula	ModuleFormulaAdaptor.invoke(BindingsEvaluateVisitor visitor, Predicate atom)
Formula	AND.left()
Formula	OR.left()
Formula	AND.right()
Formula	OR.right()
Formula	FormulaVariable.value()

Methods in astra.formula with parameters of type Formula

Modifier and Type	Method	Description
boolean	AcreFormula.matches(Formula formula)
boolean	AND.matches(Formula formula)
boolean	Bind.matches(Formula formula)
boolean	BracketFormula.matches(Formula formula)
boolean	Comparison.matches(Formula formula)
boolean	Formula.matches(Formula formula)
boolean	FormulaVariable.matches(Formula formula)
boolean	Goal.matches(Formula formula)
boolean	Inference.matches(Formula formula)
boolean	IsDone.matches(Formula formula)
boolean	IsNull.matches(Formula formula)
boolean	ModuleFormula.matches(Formula formula)
boolean	NOT.matches(Formula formula)
boolean	OR.matches(Formula formula)
boolean	Predicate.matches(Formula formula)
boolean	ScopedGoal.matches(Formula formula)
void	FormulaVariable.value(Formula value)

Constructors in astra.formula with parameters of type Formula

Constructor	Description
AcreFormula(Term cid, Term index, Term type, Term performative, Formula content)
AND(Formula left, Formula right)
BracketFormula(Formula formula)
Inference(Predicate head, Formula body)
NOT(Formula formula)
OR(Formula left, Formula right)

Uses of Formula in astra.messaging

Classes in astra.messaging that implement Formula

Modifier and Type	Class	Description
static class	Utilities.PredicateState

Methods in astra.messaging that return Formula

Modifier and Type	Method	Description
Formula	MessageEvent.content()
static Formula	Utilities.fromPredicateState(Utilities.PredicateState state)

Methods in astra.messaging with parameters of type Formula

Modifier and Type	Method	Description
boolean	Utilities.PredicateState.matches(Formula formula)
static Utilities.PredicateState	Utilities.toPredicateState(Formula formula)

Constructors in astra.messaging with parameters of type Formula

Constructor	Description
MessageEvent(Term performative, Term sender, Formula content)
MessageEvent(Term performative, Term sender, Formula content, Term params)

Uses of Formula in astra.reasoner

Fields in astra.reasoner with type parameters of type Formula

Modifier and Type	Field	Description
static List<Formula>	Queryable.EMPTY_LIST
static Map<Class<? extends Formula>,ReasonerNodeFactory<? extends Formula>>	NewReasoner.factories
static Map<Class<? extends Formula>,ReasonerNodeFactory<? extends Formula>>	NewReasoner.factories

Methods in astra.reasoner that return Formula

Modifier and Type	Method	Description
Formula	BeliefIterator.next()

Methods in astra.reasoner that return types with arguments of type Formula

Modifier and Type	Method	Description
Iterator<Formula>	Queryable.iterator(Formula target)

Methods in astra.reasoner with parameters of type Formula

Modifier and Type	Method	Description
void	Queryable.addMatchingFormulae(Queue<Formula> list, Formula formula)
ReasonerNode	NewReasoner.createReasonerNode(ReasonerNode parent, Formula formula, Map<Integer,Term> bindings, boolean singleResult)
boolean	FormulaUnifier.isApplicable(Formula source, Formula target)
Iterator<Formula>	Queryable.iterator(Formula target)
List<Map<Integer,Term>>	NewReasoner.query(Formula formula)
List<Map<Integer,Term>>	NewReasoner.query(Formula formula, Map<Integer,Term> bindings)
List<Map<Integer,Term>>	Reasoner.query(Formula formula)
List<Map<Integer,Term>>	Reasoner.query(Formula formula, Map<Integer,Term> bindings)
List<Map<Integer,Term>>	NewReasoner.queryAll(Formula formula)
List<Map<Integer,Term>>	Reasoner.queryAll(Formula formula)
Map<Integer,Term>	FormulaUnifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)
static Map<Integer,Term>	Unifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)

Method parameters in astra.reasoner with type arguments of type Formula

Modifier and Type	Method	Description
void	Queryable.addMatchingFormulae(Queue<Formula> list, Formula formula)

Uses of Formula in astra.reasoner.node

Classes in astra.reasoner.node with type parameters of type Formula

Modifier and Type	Interface	Description
interface	ReasonerNodeFactory<T extends Formula>

Uses of Formula in astra.reasoner.unifier

Methods in astra.reasoner.unifier with parameters of type Formula

Modifier and Type	Method	Description
boolean	AcreFormulaUnifier.isApplicable(Formula source, Formula target)
boolean	ANDUnifier.isApplicable(Formula source, Formula target)
boolean	FormulaVariableUnifier.isApplicable(Formula source, Formula target)
boolean	PredicateUnifier.isApplicable(Formula source, Formula target)
Map<Integer,Term>	AcreFormulaUnifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)
Map<Integer,Term>	ANDUnifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)
Map<Integer,Term>	FormulaVariableUnifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)
Map<Integer,Term>	PredicateUnifier.unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)

Uses of Formula in astra.reasoner.util

Methods in astra.reasoner.util with type parameters of type Formula

Modifier and Type	Method	Description
static <T extends Formula> void	AbstractEvaluateVisitor.addFormulaHandler(AbstractEvaluateVisitor.Handler<T> handler)
static <T extends Formula> void	BindingsEvaluateVisitor.addFormulaHandler(BindingsEvaluateVisitor.Handler<T> handler)
static <T extends Formula> void	ContextEvaluateVisitor.addFormulaHandler(ContextEvaluateVisitor.Handler<T> handler)
static <T extends Formula> void	RenameVisitor.addFormulaHandler(RenameVisitor.Handler<T> handler)
static <T extends Formula> void	VariableVisitor.addFormulaHandler(VariableVisitor.Handler<T> handler)

Methods in astra.reasoner.util that return Formula

Modifier and Type	Method	Description
Formula	ContentCodec.decode(com.fasterxml.jackson.databind.node.ObjectNode ObjectNode)
Formula	ContentCodec.decode(String json)

Methods in astra.reasoner.util with parameters of type Formula

Modifier and Type	Method	Description
String	ContentCodec.encode(Formula formula)
Object	AbstractEvaluateVisitor.visit(Formula formula)
Object	BindingsEvaluateVisitor.visit(Formula formula)
Object	ContextEvaluateVisitor.visit(Formula formula)
Object	LogicVisitor.visit(Formula formula)
Object	RenameVisitor.visit(Formula formula)
Object	VariableVisitor.visit(Formula formula)

Uses of Formula in astra.statement

Method parameters in astra.statement with type arguments of type Formula

Modifier and Type	Method	Description
void	AbstractStatementHandler.addGoals(Queue<Formula> list, Goal goal)
void	StatementHandler.addGoals(Queue<Formula> list, Goal goal)

Constructors in astra.statement with parameters of type Formula

Constructor	Description
Done(String clazz, int[] data, Formula guard, Statement ifStatement)
ForEach(String clazz, int[] data, Formula guard, Statement body)
If(String clazz, int[] data, Formula guard, Statement ifStatement)
If(String clazz, int[] data, Formula guard, Statement ifStatement, Statement elseStatement)
MaintainBlock(String clazz, int[] data, Formula formula, Statement statement)
Query(String clazz, int[] data, Formula guard)
Send(String clazz, int[] data, Term performative, Term name, Formula content)
Send(String clazz, int[] data, Term performative, Term name, Formula content, Term params)
Wait(String clazz, int[] data, Formula guard)
Wait(String clazz, int[] data, Formula guard, Term timeout)
While(String clazz, int[] data, Formula guard, Statement body)

Uses of Formula in astra.term

Methods in astra.term that return Formula

Modifier and Type	Method	Description
Formula	QueryTerm.formula()
Formula	FormulaTerm.value()

Constructors in astra.term with parameters of type Formula

Constructor	Description
FormulaTerm(Formula formula)
QueryTerm(Formula formula)

Uses of Formula in astra.tr

Constructors in astra.tr with parameters of type Formula

Constructor	Description
TRRule(Formula condition, Action action)