Uses of Interface
astra.reasoner.Reasoner

Packages that use Reasoner

Package	Description
astra.reasoner
astra.reasoner.node

Uses of Reasoner in astra.reasoner

Classes in astra.reasoner that implement Reasoner

Modifier and Type	Class	Description
class	NewReasoner

Uses of Reasoner in astra.reasoner.node

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

Modifier and Type	Method	Description
boolean	ReasonerNode.failed(Reasoner reasoner, Stack<ReasonerNode> stack)
ReasonerNode	ANDReasonerNode.initialize(Reasoner reasoner)
ReasonerNode	BracketReasonerNode.initialize(Reasoner reasoner)
ReasonerNode	NOTReasonerNode.initialize(Reasoner reasoner)
ReasonerNode	ORReasonerNode.initialize(Reasoner reasoner)
ReasonerNode	PredicateReasonerNode.initialize(Reasoner reasoner)
ReasonerNode	ReasonerNode.initialize(Reasoner reasoner)
boolean	ReasonerNode.resolve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	ANDReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	BindReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	BracketReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	ComparisonReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	IsDoneReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	ModuleFormulaReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	NOTReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	ORReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
boolean	PredicateReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)
abstract boolean	ReasonerNode.solve(Reasoner reasoner, Stack<ReasonerNode> stack)