Package astra.reasoner.node
Class NOTReasonerNode
java.lang.Object
astra.reasoner.node.ReasonerNode
astra.reasoner.node.NOTReasonerNode
public class NOTReasonerNode extends ReasonerNode
-
Field Summary
-
Constructor Summary
Constructors Constructor Description NOTReasonerNode(ReasonerNode parent, NOT not, 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
-
NOTReasonerNode
public NOTReasonerNode(ReasonerNode parent, NOT not, Map<Integer,Term> initial, boolean singleResult)
-
-
Method Details
-
initialize
- Overrides:
initializein classReasonerNode
-
solve
- Specified by:
solvein classReasonerNode
-
toString
-