Uses of Class
astra.formula.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 ReasonerNodeIsDoneReasonerNodeFactory. create(IsDone formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeIsDoneReasonerNodeFactory. 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)