Package astra.reasoner.node

Class PredicateReasonerNode

java.lang.Object

astra.reasoner.node.ReasonerNode

astra.reasoner.node.PredicateReasonerNode

public class PredicateReasonerNode
extends ReasonerNode

Field Summary

Fields inherited from class astra.reasoner.node.ReasonerNode

children, depth, failed, finished, initial, MAX_DEPTH, parent, singleResult, solutions, visitor

Constructor Summary

Constructors

Constructor	Description
PredicateReasonerNode(ReasonerNode parent, Predicate predicate, Map<Integer,Term> initial, boolean singleResult)

Method Summary

Modifier and Type	Method	Description
ReasonerNode	initialize(Reasoner reasoner)
boolean	solve(Reasoner reasoner, Stack<ReasonerNode> stack)
String	toString()

Methods inherited from class astra.reasoner.node.ReasonerNode

failed, isFailed, isFinished, isMaxDepth, isSingleResult, resolve, solutions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

PredicateReasonerNode

public PredicateReasonerNode(ReasonerNode parent, Predicate predicate, Map<Integer,Term> initial, boolean singleResult)

Method Details

initialize

public ReasonerNode initialize(Reasoner reasoner)

Overrides:

initialize in class ReasonerNode

solve

public boolean solve(Reasoner reasoner, Stack<ReasonerNode> stack)

Specified by:

solve in class ReasonerNode

toString

public String toString()

Overrides:

toString in class Object