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