Uses of Class
astra.formula.OR

Packages that use OR

Package	Description
astra.reasoner.node

Uses of OR in astra.reasoner.node

Methods in astra.reasoner.node with parameters of type OR

Modifier and Type	Method	Description
ReasonerNode	ORReasonerNodeFactory.create(OR formula, Map<Integer,Term> bindings, boolean singleResult)
ReasonerNode	ORReasonerNodeFactory.create(ReasonerNode parent, OR formula, Map<Integer,Term> bindings, boolean singleResult)

Constructors in astra.reasoner.node with parameters of type OR

Constructor	Description
ORReasonerNode(ReasonerNode parent, OR or, Map<Integer,Term> initial, boolean singleResult)