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