Uses of Interface
com.semedy.reasoner.api.core.ResultEnumerator
-
Uses of ResultEnumerator in com.semedy.reasoner.api.core
Modifier and TypeMethodDescriptionResultEnumerator.cloneEnumerator()
clone the iteratorResultEnumeratorThreaded.cloneEnumerator()
clone the iteratorDeductiveDatabase.query
(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, String query, int maxNumberOfResults, Configuration config, Properties builtinConfig) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, String query, Properties builtinConfig) Pose a query.DeductiveDatabase.query
(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor) Pose a query and several rulesDeductiveDatabase.query
(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig) Pose a query and several rulesDeductiveDatabase.query
(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, ExtensionalDB[] additionalEDBs, IntensionalDB[] additionalIDBs, boolean skipAnswers, Configuration config, Properties builtinConfig) Pose a query and several rules.JSONDeductiveDatabase.retrieveJsons
(String ooquery, int maxNumberOfResults, Configuration config, Properties builtinConfig) Retrieve JSON Objects using an OO-logic query.JSONDeductiveDatabase.retrieveJsons
(String ooquery, Configuration config, Properties builtinConfig) Retrieve JSON Objects using an OO-logic query. -
Uses of ResultEnumerator in com.semedy.reasoner.app
Modifier and TypeMethodDescriptionMultiResultEnumerator.cloneEnumerator()
QueryRunner.eval
(InterruptFlag interruptflag, String flogic, String query, ReasoningMonitor monitor) -
Uses of ResultEnumerator in com.semedy.reasoner.core
Modifier and TypeClassDescriptionclass
enumerator for reasoning resultsModifier and TypeMethodDescriptionResultEnumeratorNotThreaded.cloneEnumerator()
clone the iterator