Uses of Class
astra.formula.ModuleFormula

Packages that use ModuleFormula

Package	Description
astra.reasoner.node

Uses of ModuleFormula in astra.reasoner.node

Methods in astra.reasoner.node with parameters of type ModuleFormula

Modifier and Type	Method	Description
ReasonerNode	ModuleFormulaReasonerNodeFactory.create(ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ModuleFormulaReasonerNodeFactory.create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)

Constructors in astra.reasoner.node with parameters of type ModuleFormula

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