Package astra.reasoner.node

Class ModuleFormulaReasonerNode

java.lang.Object

astra.reasoner.node.ReasonerNode

astra.reasoner.node.ModuleFormulaReasonerNode

public class ModuleFormulaReasonerNode
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
ModuleFormulaReasonerNode(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> initial, boolean singleResult)

Method Summary

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

Methods inherited from class astra.reasoner.node.ReasonerNode

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

Methods inherited from class java.lang.Object

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

Constructor Details

ModuleFormulaReasonerNode

public ModuleFormulaReasonerNode(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> initial, boolean singleResult)

Method Details

solve

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

Specified by:

solve in class ReasonerNode