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