Package astra.reasoner.node

Class BracketReasonerNodeFactory

java.lang.Object

astra.reasoner.node.BracketReasonerNodeFactory

All Implemented Interfaces:

ReasonerNodeFactory<BracketFormula>

public class BracketReasonerNodeFactory
extends Object
implements ReasonerNodeFactory<BracketFormula>

Constructor Summary

Constructors

Constructor	Description
BracketReasonerNodeFactory()

Method Summary

Modifier and Type	Method	Description
ReasonerNode	create(BracketFormula formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	create(ReasonerNode parent, BracketFormula 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

BracketReasonerNodeFactory

public BracketReasonerNodeFactory()

Method Details

create

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

Specified by:

create in interface ReasonerNodeFactory<BracketFormula>

create

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

Specified by:

create in interface ReasonerNodeFactory<BracketFormula>