Uses of Interface
astra.reasoner.node.ReasonerNodeFactory
| Package | Description |
|---|---|
| astra.reasoner | |
| astra.reasoner.node |
-
Uses of ReasonerNodeFactory in astra.reasoner
Fields in astra.reasoner with type parameters of type ReasonerNodeFactory Modifier and Type Field Description static Map<Class<? extends Formula>,ReasonerNodeFactory<? extends Formula>>NewReasoner. factories -
Uses of ReasonerNodeFactory in astra.reasoner.node
Classes in astra.reasoner.node that implement ReasonerNodeFactory Modifier and Type Class Description classANDReasonerNodeFactoryclassBindReasonerNodeFactoryclassBracketReasonerNodeFactoryclassComparisonReasonerNodeFactoryclassIsDoneReasonerNodeFactoryclassModuleFormulaReasonerNodeFactoryclassNOTReasonerNodeFactoryclassORReasonerNodeFactoryclassPredicateReasonerNodeFactory