Uses of Class
astra.reasoner.node.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 ReasonerNodeNewReasoner. 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 ReasonerNodeNewReasoner. 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 classANDReasonerNodeclassBindReasonerNodeclassBracketReasonerNodeclassComparisonReasonerNodeclassIsDoneReasonerNodeclassModuleFormulaReasonerNodeclassNOTReasonerNodeclassORReasonerNodeclassPredicateReasonerNodeFields in astra.reasoner.node declared as ReasonerNode Modifier and Type Field Description protected ReasonerNodeReasonerNode. parentFields in astra.reasoner.node with type parameters of type ReasonerNode Modifier and Type Field Description protected List<ReasonerNode>ReasonerNode. childrenMethods in astra.reasoner.node that return ReasonerNode Modifier and Type Method Description ReasonerNodeANDReasonerNodeFactory. create(AND formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeANDReasonerNodeFactory. create(ReasonerNode parent, AND formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBindReasonerNodeFactory. create(Bind formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBindReasonerNodeFactory. create(ReasonerNode parent, Bind formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBracketReasonerNodeFactory. create(BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBracketReasonerNodeFactory. create(ReasonerNode parent, BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeComparisonReasonerNodeFactory. create(Comparison formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeComparisonReasonerNodeFactory. create(ReasonerNode parent, Comparison formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeIsDoneReasonerNodeFactory. create(IsDone formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeIsDoneReasonerNodeFactory. create(ReasonerNode parent, IsDone formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeModuleFormulaReasonerNodeFactory. create(ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeModuleFormulaReasonerNodeFactory. create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeNOTReasonerNodeFactory. create(NOT formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeNOTReasonerNodeFactory. create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeORReasonerNodeFactory. create(OR formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeORReasonerNodeFactory. create(ReasonerNode parent, OR formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodePredicateReasonerNodeFactory. create(Predicate formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodePredicateReasonerNodeFactory. create(ReasonerNode parent, Predicate formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeReasonerNodeFactory. create(ReasonerNode node, T formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeReasonerNodeFactory. create(T formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeANDReasonerNode. initialize(Reasoner reasoner)ReasonerNodeBracketReasonerNode. initialize(Reasoner reasoner)ReasonerNodeNOTReasonerNode. initialize(Reasoner reasoner)ReasonerNodeORReasonerNode. initialize(Reasoner reasoner)ReasonerNodePredicateReasonerNode. initialize(Reasoner reasoner)ReasonerNodeReasonerNode. initialize(Reasoner reasoner)Methods in astra.reasoner.node with parameters of type ReasonerNode Modifier and Type Method Description ReasonerNodeANDReasonerNodeFactory. create(ReasonerNode parent, AND formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBindReasonerNodeFactory. create(ReasonerNode parent, Bind formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeBracketReasonerNodeFactory. create(ReasonerNode parent, BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeComparisonReasonerNodeFactory. create(ReasonerNode parent, Comparison formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeIsDoneReasonerNodeFactory. create(ReasonerNode parent, IsDone formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeModuleFormulaReasonerNodeFactory. create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeNOTReasonerNodeFactory. create(ReasonerNode parent, NOT formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeORReasonerNodeFactory. create(ReasonerNode parent, OR formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodePredicateReasonerNodeFactory. create(ReasonerNode parent, Predicate formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeReasonerNodeFactory. 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 booleanReasonerNode. failed(Reasoner reasoner, Stack<ReasonerNode> stack)booleanReasonerNode. resolve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanANDReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanBindReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanBracketReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanComparisonReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanIsDoneReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanModuleFormulaReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanNOTReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanORReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)booleanPredicateReasonerNode. solve(Reasoner reasoner, Stack<ReasonerNode> stack)abstract booleanReasonerNode. 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)