Uses of Interface
com.semedy.reasoner.api.reasoning.ReasoningMonitor

Packages that use ReasoningMonitor

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.edb.persistentstore.bplustree
com.semedy.reasoner.edb.ramstore
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.utils

Uses of ReasoningMonitor in com.semedy.reasoner.api.core

Classes in com.semedy.reasoner.api.core that implement ReasoningMonitor

Modifier and Type	Class	Description
class	DebuggingMonitor

Methods in com.semedy.reasoner.api.core with parameters of type ReasoningMonitor

Modifier and Type	Method	Description
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor)	Materialize queries.
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor)	Materialize queries.
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query and several rules
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query and several rules
ResultEnumerator	DeductiveDatabase.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.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, String queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver)	Register a set of queries for stream reasoning.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, String queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver, Properties builtinConfig)	Register a set of queries for stream reasoning.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver)	Register a set of queries for stream reasoning.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver, Properties builtinConfig)	Register a set of queries for stream reasoning.
void	JSONDeductiveDatabase.setReasoningMonitor(ReasoningMonitor monitor)	set a reasoning monitor

Constructors in com.semedy.reasoner.api.core with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	EventResultReceiver(InterruptFlag interruptFlag, int arity, ReasoningMonitor monitor)
	EventResultReceiver(InterruptFlag interruptFlag, ReasoningMonitor monitor)
	StoreEventResultReceiver(InterruptFlag interruptFlag, DeductiveDatabase ddb, String predicateSymbol, int arity, String tempDir, String edbDir, boolean isPersistent, boolean writeLock, ReasoningMonitor monitor)

Uses of ReasoningMonitor in com.semedy.reasoner.api.reasoning

Classes in com.semedy.reasoner.api.reasoning that implement ReasoningMonitor

Modifier and Type	Class	Description
class	DefaultReasoningMonitor	Default ReasoningMonitor implementation which supports different log levels and user-defined targets.

Methods in com.semedy.reasoner.api.reasoning with parameters of type ReasoningMonitor

Modifier and Type	Method	Description
void	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 ReasoningMonitor in com.semedy.reasoner.app

Classes in com.semedy.reasoner.app that implement ReasoningMonitor

Modifier and Type	Class	Description
class	DebuggingMonitor

Methods in com.semedy.reasoner.app with parameters of type ReasoningMonitor

Modifier and Type	Method	Description
ResultEnumerator	QueryRunner.eval(InterruptFlag interruptflag, String flogic, String query, ReasoningMonitor monitor)
void	QueryRegister.register(InterruptFlag interruptFlag, String flogic, String query, ReasoningMonitor monitor, PrintStream out)

Uses of ReasoningMonitor in com.semedy.reasoner.core

Classes in com.semedy.reasoner.core that implement ReasoningMonitor

Modifier and Type	Class	Description
class	JsonMonitor

Constructors in com.semedy.reasoner.core with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	EmptyEventResultReceiver(InterruptFlag interruptFlag, ReasoningMonitor monitor)

Uses of ReasoningMonitor in com.semedy.reasoner.edb.persistentstore.bplustree

Constructors in com.semedy.reasoner.edb.persistentstore.bplustree with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	IndexStore(int size, ReasoningMonitor monitor)
	IndexStore(ReasoningMonitor monitor)

Uses of ReasoningMonitor in com.semedy.reasoner.edb.ramstore

Constructors in com.semedy.reasoner.edb.ramstore with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	AVLNodeStore(ReasoningMonitor monitor)
	AVLTree(int[] indexedPositions, int arity, TupleStore tupleStore, boolean duplicates, ReasoningMonitor monitor)	avl index used for merge join of tuples
	HashIndex(int[] indexPositions, TupleStore tuplestore, int arity, int initialSize, ReasoningMonitor monitor)
	HashIndex(TupleStore tuplestore, int arity, int initialSize, ReasoningMonitor monitor)
	InvertedList(int indexedPosition, int arity, TupleStore tupleStore, boolean duplicates, ReasoningMonitor monitor)
	LinkedTupleLists(TupleStore tuplestore, int arity, int initialSize, ReasoningMonitor monitor)
	MainMemoryBaseRelation(int arity, TupleStore tupleStore, boolean duplicates, ReasoningMonitor monitor)
	MainMemoryBaseRelation(int arity, TupleStore tupleStore, boolean duplicates, ReasoningMonitor monitor, boolean sorted)
	MainMemoryBaseRelation(int arity, TupleStore tupleStore, MainMemoryIndex primarykey, ReasoningMonitor monitor)
	PrimaryHashIndex(TupleStore tuplestore, int arity, int initialSize, ReasoningMonitor monitor)
	PrimaryIndex(TupleStore tuplestore, int arity, int initialSize, ReasoningMonitor monitor)
	TupleStore(int arity, ReasoningMonitor monitor)
	TupleStoreWithReferenceCounters(int arity, int size, ReasoningMonitor monitor)
	TupleStoreWithReferenceCounters(int arity, ReasoningMonitor monitor)

Uses of ReasoningMonitor in com.semedy.reasoner.reasoning

Classes in com.semedy.reasoner.reasoning that implement ReasoningMonitor

Modifier and Type	Class	Description
class	TestMonitor

Methods in com.semedy.reasoner.reasoning with parameters of type ReasoningMonitor

Modifier and Type	Method	Description
void	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 flow
void	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)
List<TupleEnumerator>	ReasonerThreadedRulesPartitioning.evaluate(ReasoningMonitor monitor)

Constructors in com.semedy.reasoner.reasoning with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	IncrementalFactsBuiltin(String predicate, int arity, ReasoningMonitor monitor, boolean cepReasoning)
	ReasonerNotThreaded(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, ReasoningMonitor monitor, boolean skipAnswers, long maxNumberOfResults, SimpleSemaphore semaphorForSensors, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	ReasonerThreadedFactsPartitioning(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, ReasoningMonitor monitor, boolean skipAnswers, int maxNumberOfResults, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	ReasonerThreadedRulesPartitioning(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, boolean skipAnswers, int maxNumberOfResults, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted)
	ReasoningRulesThread(InterruptFlag interruptFlag, Receiver receiver, SymbolTable symboltable, BuiltinProvider builtinFactory, int reasoningthreads, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted)
	ReasoningThread(InterruptFlag interruptFlag, Receiver receiver, ReasoningMonitor monitor, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, CoreLock corelock, int pulsedTuples, boolean sorted)

Uses of ReasoningMonitor in com.semedy.reasoner.reasoning.monitor

Classes in com.semedy.reasoner.reasoning.monitor that implement ReasoningMonitor

Modifier and Type	Class	Description
class	DefaultReasoningMonitor	Default ReasoningMonitor implementation which supports different log levels and user-defined targets.

Uses of ReasoningMonitor in com.semedy.reasoner.reasoning.processes

Classes in com.semedy.reasoner.reasoning.processes that implement ReasoningMonitor

Modifier and Type	Class	Description
class	StatisticsCollector	Monitor to collect data about the evaluation to optimize during rule compiling and rule execution
class	SystemReasoningMonitor	This monitor combines several monitors and calls those monitors

Methods in com.semedy.reasoner.reasoning.processes with parameters of type ReasoningMonitor

Modifier and Type	Method	Description
void	SystemReasoningMonitor.addMonitor(ReasoningMonitor monitor)

Constructors in com.semedy.reasoner.reasoning.processes with parameters of type ReasoningMonitor

Modifier	Constructor	Description
	And(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)
	BufferedStore(InterruptFlag interruptFlag, ReasoningMonitor monitor, int arity, String predicate, boolean cepReasoning, boolean cepReasoningWithRetracts, ProcessExecutor executor, boolean sorted)
	BufferedStore(InterruptFlag interruptFlag, ReasoningMonitor monitor, int arity, String predicate, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, ProcessExecutor executor, boolean sorted)
	Encoder(SymbolTable symbols, int[] index, int arity, ReasoningMonitor monitor)
	End(InterruptFlag interruptflag, int arity, ReasoningMonitor monitor)
	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)
	ExecuteDirectFilterBuiltin(int i, InterruptFlag interruptFlag, VariableHandler vh, DirectFilterBuiltin builtin, ReasoningMonitor monitor)
	ExecuteFilterBuiltin(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, VariableHandler vh, FilterBuiltin builtin, SymbolTable symboltable, RuleEvaluator reval, boolean cepReasoning)
	ExecuteFunctionalBuiltin(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, VariableHandler vh, FunctionalBuiltin builtin, SymbolTable symboltable, RuleEvaluator reval, boolean cepReasoning, boolean notinternalize)
	ExecuteRelationalBuiltin(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, VariableHandler vh, RelationalBuiltin builtin, SymbolTable symboltable, RuleEvaluator reval, boolean cepReasoning)
	Match(int i, InterruptFlag interruptFlag, VariableHandler vh, Literal body, SymbolTable symboltable, ReasoningMonitor monitor)
	Not(int i, InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, VariableHandler vh, int[] externalFilterPositions, long[] externalFilterValues, RuleEvaluator reval, boolean cepReasoning, String query)
	ProcessImp(InterruptFlag interruptFlag, int arity, ReasoningMonitor monitor)
	ProcessImp(InterruptFlag interruptFlag, ReasoningMonitor monitor)
	ReasoningRelation(int arity, BaseRelation tuples, ReasoningMonitor monitor, boolean cepReasoning)
	ReasoningRelation(int arity, Relation tuples, ReasoningMonitor monitor, boolean cepReasoning)
	ReasoningRelation(int arity, TupleStore tuplestore, ReasoningMonitor monitor, boolean cepReasoning)
	ReasoningRelation(Relation T, String p, ReasoningMonitor monitor, boolean streamReasoningWithRetracts)	create a reasoning relation out of an edb relation
	ReasoningRelation(String name, int arity, TupleStore tuplestore, boolean duplicates, ReasoningMonitor monitor, boolean cepReasoning)
	ResultReceiver(InterruptFlag interruptflag, Rule query, int arity, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, long maxResults)
	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)
	RuleEvaluator(InterruptFlag interruptFlag, ReasoningMonitor monitor, Rule rule, Rule originalRule, Literal[] originalBodies, boolean extensional, boolean streamReasoning, ProcessExecutor pE, Schemas schemas)
	Scatter(InterruptFlag interruptFlag, int destarity, Rule rule, ReasoningMonitor monitor)
	SetConstants(InterruptFlag interruptFlag, int[] source, int[] dest, int[] groundpos, long[] groundterms, int destarity, Rule rule, ReasoningMonitor monitor)
	SubstituteFunction(int i, InterruptFlag interruptFlag, VariableHandler vh, Literal body, SymbolTable symboltable, ReasoningMonitor monitor)
	SwappableBufferedIncrementalRelation(int arity, boolean cepReasoning, boolean retracts, ReasoningMonitor monitor, String tempDir, boolean releasable, boolean sorted)
	SwappableIncrementalRelation(int arity, ReasoningMonitor monitor, String tempDir, boolean releasable, boolean cepReasoning, boolean retracts, boolean sorted)
	SwappableRelation(int arity, ReasoningMonitor monitor, String tempDir, boolean releasable, boolean cepReasoning, boolean retracts)
	SwappableRelation(int arity, ReasoningMonitor monitor, String tempDir, boolean releasable, boolean cepReasoning, boolean retracts, boolean duplicates)	the receiver it is a part of
	SynchronizedBufferedStore(InterruptFlag interruptFlag, ReasoningMonitor monitor, int arity, String predicate, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, ProcessExecutor executor, boolean sorted)
	TestEqual(int i, InterruptFlag interruptFlag, VariableHandler variableHandler, Literal body, ReasoningMonitor monitor)
	TopDown(InterruptFlag interruptflag, int[] mapping, long[] groundterms, int[] groundpositions, int destarity, Literal topLiteral, Literal magic, ProcessExecutor executor, ReasoningMonitor monitor)
	TopDownBufferedStore(InterruptFlag interruptFlag, ReasoningMonitor monitor, int arity, String predicate, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, ProcessExecutor executor, boolean sorted)
	TopDownTrigger(InterruptFlag interruptflag, Literal topLiteral, Literal magic, ReasoningMonitor monitor, boolean cepReasoning)
	TopDownUnbufferedStore(InterruptFlag interruptFlag, ReasoningMonitor monitor, int arity, String predicate, boolean not, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, ProcessExecutor executor, boolean sorted)
	UnbufferedStore(InterruptFlag interruptflag, ReasoningMonitor monitor, int arity, String predicate, boolean not, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, ProcessExecutor executor, boolean sorted)
	VariableToVariable(int i, InterruptFlag interruptFlag, VariableHandler vh, Object[] arguments, ReasoningMonitor monitor)

Uses of ReasoningMonitor in com.semedy.reasoner.utils

Classes in com.semedy.reasoner.utils that implement ReasoningMonitor

Modifier and Type	Class	Description
class	ReasoningMonitorTimes