Uses of Class
astra.formula.BracketFormula

Packages that use BracketFormula

Package	Description
astra.reasoner.node

Uses of BracketFormula in astra.reasoner.node

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

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

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

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