Uses of Class
astra.formula.AND

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