astra.reasoner.node.ReasonerNode

Direct Known Subclasses:: ANDReasonerNode, BindReasonerNode, BracketReasonerNode, ComparisonReasonerNode, IsDoneReasonerNode, ModuleFormulaReasonerNode, NOTReasonerNode, ORReasonerNode, PredicateReasonerNode

public abstract class ReasonerNode
extends Object

Field Summary

Fields
Modifier and Type	Field	Description
`protected List<ReasonerNode>`	`children`
`protected int`	`depth`
`protected boolean`	`failed`
`protected boolean`	`finished`
`protected Map<Integer,Term>`	`initial`
`static int`	`MAX_DEPTH`
`protected ReasonerNode`	`parent`
`protected boolean`	`singleResult`
`protected List<Map<Integer,Term>>`	`solutions`
`protected BindingsEvaluateVisitor`	`visitor`

Method Summary

Modifier and Type	Method	Description
`boolean`	`failed(Reasoner reasoner, Stack<ReasonerNode> stack)`
`ReasonerNode`	`initialize(Reasoner reasoner)`
`boolean`	`isFailed()`
`boolean`	`isFinished()`
`boolean`	`isMaxDepth()`
`boolean`	`isSingleResult()`
`boolean`	`resolve(Reasoner reasoner, Stack<ReasonerNode> stack)`
`List<Map<Integer,Term>>`	`solutions()`
`abstract boolean`	`solve(Reasoner reasoner, Stack<ReasonerNode> stack)`

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

Field Details
- MAX_DEPTH
  
  public static final int MAX_DEPTH
  
  See Also:
  
  Constant Field Values
- parent
  
  protected ReasonerNode parent
- children
  
  protected List<ReasonerNode> children
- solutions
  
  protected List<Map<Integer,Term>> solutions
- singleResult
  
  protected boolean singleResult
- depth
  
  protected int depth
- finished
  
  protected boolean finished
- failed
  
  protected boolean failed
- initial
  
  protected Map<Integer,Term> initial
- visitor
  
  protected BindingsEvaluateVisitor visitor
Constructor Details
- ReasonerNode
  
  public ReasonerNode(ReasonerNode parent, boolean singleResult)
Method Details
- initialize
  
  public ReasonerNode initialize(Reasoner reasoner)
- solve
  
  public abstract boolean solve(Reasoner reasoner, Stack<ReasonerNode> stack)
- failed
  
  public boolean failed(Reasoner reasoner, Stack<ReasonerNode> stack)
- resolve
  
  public boolean resolve(Reasoner reasoner, Stack<ReasonerNode> stack)
- isFinished
  
  public boolean isFinished()
- isMaxDepth
  
  public boolean isMaxDepth()
- isSingleResult
  
  public boolean isSingleResult()
- isFailed
  
  public boolean isFailed()
- solutions
  
  public List<Map<Integer,Term>> solutions()