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