Uses of Class
astra.formula.NOT

Packages that use 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
ReasonerNode	NOTReasonerNodeFactory.create(NOT formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	NOTReasonerNodeFactory.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)