Uses of Class
astra.reasoner.node.ReasonerNode

Packages that use ReasonerNode

Package	Description
astra.reasoner
astra.reasoner.node

Uses of ReasonerNode in astra.reasoner

Methods in astra.reasoner that return ReasonerNode

Modifier and Type	Method	Description
ReasonerNode	NewReasoner.createReasonerNode(ReasonerNode parent, Formula formula, Map<Integer,Term> bindings, boolean singleResult)

Methods in astra.reasoner with parameters of type ReasonerNode

Modifier and Type	Method	Description
ReasonerNode	NewReasoner.createReasonerNode(ReasonerNode parent, Formula formula, Map<Integer,Term> bindings, boolean singleResult)

Uses of ReasonerNode in astra.reasoner.node

Subclasses of ReasonerNode in astra.reasoner.node

Modifier and Type	Class	Description
class	ANDReasonerNode
class	BindReasonerNode
class	BracketReasonerNode
class	ComparisonReasonerNode
class	IsDoneReasonerNode
class	ModuleFormulaReasonerNode
class	NOTReasonerNode
class	ORReasonerNode
class	PredicateReasonerNode

Fields in astra.reasoner.node declared as ReasonerNode

Modifier and Type	Field	Description
protected ReasonerNode	ReasonerNode.parent

Fields in astra.reasoner.node with type parameters of type ReasonerNode

Modifier and Type	Field	Description
protected List<ReasonerNode>	ReasonerNode.children

Methods in astra.reasoner.node that return ReasonerNode

Modifier and Type	Method	Description
ReasonerNode	ANDReasonerNodeFactory.create(AND formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ANDReasonerNodeFactory.create(ReasonerNode parent, AND formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BindReasonerNodeFactory.create(Bind formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BindReasonerNodeFactory.create(ReasonerNode parent, Bind formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BracketReasonerNodeFactory.create(BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BracketReasonerNodeFactory.create(ReasonerNode parent, BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ComparisonReasonerNodeFactory.create(Comparison formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ComparisonReasonerNodeFactory.create(ReasonerNode parent, Comparison formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	IsDoneReasonerNodeFactory.create(IsDone formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	IsDoneReasonerNodeFactory.create(ReasonerNode parent, IsDone formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ModuleFormulaReasonerNodeFactory.create(ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ModuleFormulaReasonerNodeFactory.create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	NOTReasonerNodeFactory.create(NOT formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	NOTReasonerNodeFactory.create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ORReasonerNodeFactory.create(OR formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ORReasonerNodeFactory.create(ReasonerNode parent, OR formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	PredicateReasonerNodeFactory.create(Predicate formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	PredicateReasonerNodeFactory.create(ReasonerNode parent, Predicate formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ReasonerNodeFactory.create(ReasonerNode node, T formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ReasonerNodeFactory.create(T formula, Map<Integer,Term> bindings, boolean singleResult)
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)

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

Modifier and Type	Method	Description
ReasonerNode	ANDReasonerNodeFactory.create(ReasonerNode parent, AND formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BindReasonerNodeFactory.create(ReasonerNode parent, Bind formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	BracketReasonerNodeFactory.create(ReasonerNode parent, BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ComparisonReasonerNodeFactory.create(ReasonerNode parent, Comparison formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	IsDoneReasonerNodeFactory.create(ReasonerNode parent, IsDone formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ModuleFormulaReasonerNodeFactory.create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	NOTReasonerNodeFactory.create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ORReasonerNodeFactory.create(ReasonerNode parent, OR formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	PredicateReasonerNodeFactory.create(ReasonerNode parent, Predicate formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ReasonerNodeFactory.create(ReasonerNode node, T formula, Map<Integer,Term> bindings, boolean singleResult)

Method parameters in astra.reasoner.node with type arguments of type ReasonerNode

Modifier and Type	Method	Description
boolean	ReasonerNode.failed(Reasoner reasoner, Stack<ReasonerNode> stack)
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)

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

Constructor	Description
ANDReasonerNode(ReasonerNode parent, AND and, Map<Integer,Term> initial, boolean singleResult)
BindReasonerNode(ReasonerNode parent, Bind bind, Map<Integer,Term> initial, boolean singleResult)
BracketReasonerNode(ReasonerNode parent, BracketFormula formula, Map<Integer,Term> initial, boolean singleResult)
ComparisonReasonerNode(ReasonerNode parent, Comparison comparison, Map<Integer,Term> initial, boolean singleResult)
IsDoneReasonerNode(ReasonerNode parent, IsDone isDone, Map<Integer,Term> initial, boolean singleResult)
ModuleFormulaReasonerNode(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> initial, boolean singleResult)
NOTReasonerNode(ReasonerNode parent, NOT not, Map<Integer,Term> initial, boolean singleResult)
ORReasonerNode(ReasonerNode parent, OR or, Map<Integer,Term> initial, boolean singleResult)
PredicateReasonerNode(ReasonerNode parent, Predicate predicate, Map<Integer,Term> initial, boolean singleResult)
ReasonerNode(ReasonerNode parent, boolean singleResult)