Uses of Class
astra.formula.IsDone

Packages that use IsDone

Package	Description
astra.reasoner.node

Uses of IsDone in astra.reasoner.node

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

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

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

Constructor	Description
IsDoneReasonerNode(ReasonerNode parent, IsDone isDone, Map<Integer,Term> initial, boolean singleResult)