Package astra.reasoner.node

Interface ReasonerNodeFactory<T extends Formula>

All Known Implementing Classes:

ANDReasonerNodeFactory, BindReasonerNodeFactory, BracketReasonerNodeFactory, ComparisonReasonerNodeFactory, IsDoneReasonerNodeFactory, ModuleFormulaReasonerNodeFactory, NOTReasonerNodeFactory, ORReasonerNodeFactory, PredicateReasonerNodeFactory

public interface ReasonerNodeFactory<T extends Formula>

Method Summary

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

Method Details

create

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

create

ReasonerNode create(ReasonerNode node, T formula, Map<Integer,Term> bindings, boolean singleResult)