Uses of Class
astra.formula.Predicate

Packages that use Predicate

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

Uses of Predicate in astra.core

Methods in astra.core with parameters of type Predicate

Modifier and Type	Method	Description
boolean	BeliefStore.addBelief(Predicate belief)
void	EventBeliefManager.addBelief(Predicate belief)
boolean	HierarchicalBeliefStore.addBelief(Predicate belief)
void	Intention.addBelief(Predicate belief)
void	BeliefStore.addMatchingBeliefs(Queue<Formula> queue, Predicate formula)
void	EventBeliefManager.addScopedBelief(String scope, Predicate belief)
void	Intention.addScopedBelief(String scope, Predicate belief)
boolean	BeliefStore.containsBelief(Predicate belief)
void	EventBeliefManager.dropBelief(Predicate belief)
void	EventBeliefManager.dropScopedBelief(String scope, Predicate belief)
Function	Agent.getFunction(Predicate predicate)
Function	ASTRAClass.getFunction(Predicate predicate)
List<Formula>	HierarchicalBeliefStore.getMatchingBeliefs(Predicate formula)
void	Agent.initialize(Predicate predicate)
boolean	BeliefStore.removeBelief(Predicate belief)
boolean	HierarchicalBeliefStore.removeBelief(Predicate belief)
void	Intention.removeBelief(Predicate belief)
void	Intention.removeScopedBelief(String scope, Predicate belief)
boolean	Agent.startFunction(Predicate function)
boolean	Intention.startFunction(Predicate function)

Uses of Predicate in astra.event

Fields in astra.event declared as Predicate

Modifier and Type	Field	Description
Predicate	BeliefEvent.belief
Predicate	ModuleEvent.event

Methods in astra.event that return Predicate

Modifier and Type	Method	Description
Predicate	BeliefEvent.belief()
Predicate	ModuleEvent.event()

Methods in astra.event with parameters of type Predicate

Modifier and Type	Method	Description
Event	ModuleEventAdaptor.generate(Agent agent, Predicate atom)

Constructors in astra.event with parameters of type Predicate

Constructor	Description
BeliefEvent(char type, Predicate belief)
ModuleEvent(String module, String signature, Predicate belief, ModuleEventAdaptor adaptor)

Uses of Predicate in astra.formula

Fields in astra.formula declared as Predicate

Modifier and Type	Field	Description
static Predicate	Predicate.FALSE
static Predicate	Predicate.TRUE

Methods in astra.formula that return Predicate

Modifier and Type	Method	Description
Predicate	Predicate.clone()
Predicate	Goal.formula()
Predicate	Inference.head()
Predicate	ModuleFormula.predicate()

Methods in astra.formula with parameters of type Predicate

Modifier and Type	Method	Description
abstract Formula	ModuleFormulaAdaptor.invoke(BindingsEvaluateVisitor visitor, Predicate atom)

Constructors in astra.formula with parameters of type Predicate

Constructor	Description
Goal(Predicate predicate)
Inference(Predicate head, Formula body)
ModuleFormula(String module, Predicate predicate, ModuleFormulaAdaptor adaptor)

Uses of Predicate in astra.messaging

Constructors in astra.messaging with parameters of type Predicate

Constructor	Description
PredicateState(Predicate predicate)

Uses of Predicate in astra.reasoner

Methods in astra.reasoner with parameters of type Predicate

Modifier and Type	Method	Description
static Map<Integer,Term>	Unifier.unify(Predicate source, Predicate target, Agent agent)	Generate variable bindings for two predicates or return null if there is no binding...

Constructors in astra.reasoner with parameters of type Predicate

Constructor	Description
BeliefIterator(List<Queryable> sources, Predicate target)

Uses of Predicate in astra.reasoner.node

Methods in astra.reasoner.node with parameters of type Predicate

Modifier and Type	Method	Description
ReasonerNode	PredicateReasonerNodeFactory.create(Predicate formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	PredicateReasonerNodeFactory.create(ReasonerNode parent, Predicate formula, Map<Integer,Term> bindings, boolean singleResult)

Constructors in astra.reasoner.node with parameters of type Predicate

Constructor	Description
PredicateReasonerNode(ReasonerNode parent, Predicate predicate, Map<Integer,Term> initial, boolean singleResult)

Uses of Predicate in astra.reasoner.util

Methods in astra.reasoner.util that return Predicate

Modifier and Type	Method	Description
static Predicate	LogicUtilities.toPredicate(String content)

Uses of Predicate in astra.statement

Methods in astra.statement that return Predicate

Modifier and Type	Method	Description
protected Predicate	DefaultModuleCallAdaptor.evaluate(Intention intention, Predicate predicate)

Methods in astra.statement with parameters of type Predicate

Modifier and Type	Method	Description
protected Predicate	DefaultModuleCallAdaptor.evaluate(Intention intention, Predicate predicate)
boolean	ModuleCallAdaptor.invoke(Intention context, Predicate atom)

Constructors in astra.statement with parameters of type Predicate

Constructor	Description
BeliefUpdate(char op, Predicate predicate)
BeliefUpdate(char op, String clazz, int[] data, Predicate predicate)
ModuleCall(String module, Predicate method, ModuleCallAdaptor moduleCallAdaptor)
ModuleCall(String module, String clazz, int[] data, Predicate method, ModuleCallAdaptor moduleCallAdaptor)
ScopedBeliefUpdate(String scope, char op, Predicate predicate)
ScopedBeliefUpdate(String clazz, int[] data, String scope, char op, Predicate predicate)
SpecialBeliefUpdate(Predicate predicate)
SpecialBeliefUpdate(String clazz, int[] data, Predicate predicate)
TRStart(String clazz, int[] data, Predicate function)

Uses of Predicate in astra.term

Methods in astra.term that return Predicate

Modifier and Type	Method	Description
Predicate	ModuleTerm.method()

Methods in astra.term with parameters of type Predicate

Modifier and Type	Method	Description
abstract Object	ModuleTermAdaptor.invoke(Intention context, Predicate atom)
abstract Object	ModuleTermAdaptor.invoke(BindingsEvaluateVisitor visitor, Predicate atom)

Constructors in astra.term with parameters of type Predicate

Constructor	Description
ModuleTerm(String module, Type type, Predicate method, ModuleTermAdaptor adaptor)

Uses of Predicate in astra.tr

Fields in astra.tr declared as Predicate

Modifier and Type	Field	Description
Predicate	Function.identifier

Methods in astra.tr that return Predicate

Modifier and Type	Method	Description
protected Predicate	DefaultModuleActionAdaptor.evaluate(TRContext context, Predicate predicate)

Methods in astra.tr with parameters of type Predicate

Modifier and Type	Method	Description
void	TRContext.addBelief(Predicate belief)
void	TRContext.callFunction(Predicate call)
protected Predicate	DefaultModuleActionAdaptor.evaluate(TRContext context, Predicate predicate)
boolean	ModuleActionAdaptor.invoke(TRContext context, Predicate predicate)
void	TRContext.removeBelief(Predicate belief)

Constructors in astra.tr with parameters of type Predicate

Constructor	Description
Function(Predicate identifier)
Function(Predicate identifier, TRRule[] rules)
FunctionCall(Predicate call)
ModuleAction(String module, String clazz, int[] data, Predicate method, ModuleActionAdaptor adaptor)
TRBeliefUpdate(char op, String clazz, int[] data, Predicate predicate)
TRContext(Agent agent, Predicate call)