Uses of Class
com.semedy.reasoner.reasoning.processes.SystemMonitor
Package
Description
-
Uses of SystemMonitor in com.semedy.reasoner.api.core
-
Uses of SystemMonitor in com.semedy.reasoner.api.reasoning
Modifier and TypeMethodDescriptionvoid
Reasoner.compile
(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean streamReasoning, boolean streamReasoningWithRetracts) compile rules for the reasoning process -
Uses of SystemMonitor in com.semedy.reasoner.api.rewriter
Modifier and TypeMethodDescriptionRewriterProvider.applyRewriter
(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, BuiltinProvider builtins, SystemMonitor statistics, Configuration config, Properties prp) Apply rewriters of rewriterList in that sequence which is given by their indices and indicated by their enumerationvoid
Rewriter.setStatistics
(SystemMonitor statistics) adds a system monitor which has run time data about rules. -
Uses of SystemMonitor in com.semedy.reasoner.core
-
Uses of SystemMonitor in com.semedy.reasoner.exercises
Modifier and TypeMethodDescriptionvoid
RemoveDoubleLiterals.setStatistics
(SystemMonitor statistics) -
Uses of SystemMonitor in com.semedy.reasoner.reasoning
Modifier and TypeMethodDescriptionvoid
ReasonerNotThreaded.compile
(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int[] partsVector, boolean cepReasoningWithRetracts, boolean cepReasoning) void
ReasonerNotThreaded.compile
(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean streamReasoning, boolean cepReasoningWithRetracts) Compile rules to a data flowvoid
ReasonerThreadedFactsPartitioning.compile
(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean cepReasoningWithRetracts, boolean cepReasoning) void
ReasonerThreadedRulesPartitioning.compile
(IntensionalDB idb, ExtensionalDB[] edbs, ReasoningMonitor monitor, SystemMonitor smonitor, boolean topdown, int maxNumberOfResults, boolean cepReasoningWithRetracts, boolean cepReasoning) -
Uses of SystemMonitor in com.semedy.reasoner.reasoning.processes
ModifierConstructorDescriptionAnd
(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, VariableHandler vh, int[] externalFilterPositions, long[] externalFilterValues, RuleEvaluator reval, int part, int ofAllParts, boolean cepReasoning, com.semedy.reasoner.reasoning.processes.SystemMonitor.JoinType joinType, String queryKey) BinaryPattern
(InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, BuiltinProvider builtinProvider, IntensionalDB idb, SymbolTable symbolTable, boolean streamReasoning, String queryKey, Properties builtinProperties, ExtensionalDB edb, boolean topDown) ExecuteAggregation
(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, VariableHandler vh, int[] externalFilterPositions, long[] externalFilterValues, Aggregation aggregation, SymbolTable symboltable, RuleEvaluator reval, boolean cepReasoning, String query) ExecuteConnectorBuiltin
(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, VariableHandler vh, int[] externalFilterPositions, long[] externalFilterValues, Connector connector, SymbolTable symboltable, RuleEvaluator reval, boolean cepReasoning, String query) Not
(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, VariableHandler vh, int[] externalFilterPositions, long[] externalFilterValues, RuleEvaluator reval, boolean cepReasoning, String query) RuleCompiler
(InterruptFlag interruptflag, ReasoningMonitor monitor, SystemMonitor smonitor, IntensionalDB idb, Options options, SymbolTable symboltable, BuiltinProvider builtinFactory, ExtensionalDB[] sharedEDBs, boolean streamReasoning, boolean streamReasoningWithRetracts, SimpleSemaphore semaphorForSensors, String tempDir, boolean swapping, boolean skipAnswers, Properties builtinProperties) -
Uses of SystemMonitor in com.semedy.reasoner.rewriter
Modifier and TypeMethodDescriptionvoid
ActionRewriter.setStatistics
(SystemMonitor _statistics) void
AxiomInjector.setStatistics
(SystemMonitor _statistics) void
BetweenRewriter.setStatistics
(SystemMonitor _statistics) void
BottomUpOrderingRewriter.setStatistics
(SystemMonitor _statistics) void
BottomUpRuleSelector.setStatistics
(SystemMonitor _statistics) void
CompareRewriter.setStatistics
(SystemMonitor _statistics) void
DebuggingRewriter.setStatistics
(SystemMonitor statistics) void
DynamicOptimizer.setStatistics
(SystemMonitor statistics) void
ElementOfRewriter.setStatistics
(SystemMonitor _statistics) void
EliminateRedundantBodiesRewriter.setStatistics
(SystemMonitor _statistics) void
EqualRewriter.setStatistics
(SystemMonitor _statistics) void
FillNullRewriter.setStatistics
(SystemMonitor _statistics) void
FilterRewriter.setStatistics
(SystemMonitor _statistics) void
FolderRewriter.setStatistics
(SystemMonitor _statistics) void
FullFolderRewriter.setStatistics
(SystemMonitor statistics) void
FunctionalRewriter.setStatistics
(SystemMonitor _statistics) void
IsaRewriter.setStatistics
(SystemMonitor _statistics) void
MagicSetRewriter.setStatistics
(SystemMonitor _statistics) void
ModuleRewriter.setStatistics
(SystemMonitor _statistics) void
PathRewriter.setStatistics
(SystemMonitor _statistics) void
PropagateConstantsRewriter.setStatistics
(SystemMonitor _statistics) void
PropagateConstraintsRewriter.setStatistics
(SystemMonitor _statistics) void
QueryRuleRewriter.setStatistics
(SystemMonitor _statistics) void
RewriterSkeleton.setStatistics
(SystemMonitor _statistics) void
SnapshotRewriter.setStatistics
(SystemMonitor _statistics) void
Splitter.setStatistics
(SystemMonitor _statistics) void
TopDownOrderingRewriter.setStatistics
(SystemMonitor _statistics) void
Unfolder.setStatistics
(SystemMonitor statistics)