Uses of Class
astra.formula.Bind

Packages that use Bind

Package	Description
astra.reasoner.node

Uses of Bind in astra.reasoner.node

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

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

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

Constructor	Description
BindReasonerNode(ReasonerNode parent, Bind bind, Map<Integer,Term> initial, boolean singleResult)