Package astra.reasoner.node

Interface Summary

Interface	Description
ReasonerNodeFactory<T extends Formula>

Class Summary

Class	Description
ANDReasonerNode
ANDReasonerNodeFactory
BindReasonerNode
BindReasonerNodeFactory
BracketReasonerNode
BracketReasonerNodeFactory
ComparisonReasonerNode
ComparisonReasonerNodeFactory
IsDoneReasonerNode
IsDoneReasonerNodeFactory
ModuleFormulaReasonerNode
ModuleFormulaReasonerNodeFactory
NOTReasonerNode
NOTReasonerNodeFactory
ORReasonerNode
ORReasonerNodeFactory
PredicateReasonerNode
PredicateReasonerNodeFactory
ReasonerNode