Uses of Class
astra.formula.Comparison

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