Package astra.reasoner.node

Class ModuleFormulaReasonerNodeFactory

java.lang.Object

astra.reasoner.node.ModuleFormulaReasonerNodeFactory

All Implemented Interfaces:

ReasonerNodeFactory<ModuleFormula>

public class ModuleFormulaReasonerNodeFactory
extends Object
implements ReasonerNodeFactory<ModuleFormula>

Constructor Summary

Constructors

Constructor	Description
ModuleFormulaReasonerNodeFactory()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ModuleFormulaReasonerNodeFactory

public ModuleFormulaReasonerNodeFactory()

Method Details

create

public ReasonerNode create(ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)

Specified by:

create in interface ReasonerNodeFactory<ModuleFormula>

create

public ReasonerNode create(ReasonerNode parent, ModuleFormula formula, Map<Integer,Term> bindings, boolean singleResult)

Specified by:

create in interface ReasonerNodeFactory<ModuleFormula>