Package astra.reasoner.node
Class ANDReasonerNode
java.lang.Object
astra.reasoner.node.ReasonerNode
astra.reasoner.node.ANDReasonerNode
public class ANDReasonerNode extends ReasonerNode
-
Field Summary
-
Constructor Summary
Constructors Constructor Description ANDReasonerNode(ReasonerNode parent, AND and, Map<Integer,Term> initial, boolean singleResult) -
Method Summary
Modifier and Type Method Description ReasonerNodeinitialize(Reasoner reasoner)booleansolve(Reasoner reasoner, Stack<ReasonerNode> stack)Methods inherited from class astra.reasoner.node.ReasonerNode
failed, isFailed, isFinished, isMaxDepth, isSingleResult, resolve, solutions
-
Constructor Details
-
ANDReasonerNode
public ANDReasonerNode(ReasonerNode parent, AND and, Map<Integer,Term> initial, boolean singleResult)
-
-
Method Details
-
initialize
- Overrides:
initializein classReasonerNode
-
solve
- Specified by:
solvein classReasonerNode
-