Uses of Class
astra.formula.AND
| Package | Description |
|---|---|
| astra.reasoner.node |
-
Uses of AND in astra.reasoner.node
Methods in astra.reasoner.node with parameters of type AND Modifier and Type Method Description ReasonerNodeANDReasonerNodeFactory. create(AND formula, Map<Integer,Term> bindings, boolean singleResult)ReasonerNodeANDReasonerNodeFactory. create(ReasonerNode parent, AND formula, Map<Integer,Term> bindings, boolean singleResult)Constructors in astra.reasoner.node with parameters of type AND Constructor Description ANDReasonerNode(ReasonerNode parent, AND and, Map<Integer,Term> initial, boolean singleResult)