Uses of Class
com.semedy.reasoner.api.idb.IntensionalDB

Packages that use IntensionalDB

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.exercises
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.utils

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

Methods in com.semedy.reasoner.api.core that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	Core.getIntensionalDB()	returns the intensional database (store for rules)

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

Modifier and Type	Method	Description
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
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	DebuggingMonitor.setIntensionalDB(IntensionalDB idb)

Uses of IntensionalDB in com.semedy.reasoner.api.idb

Methods in com.semedy.reasoner.api.idb that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	IntensionalDB.selectRules(List<Rule> rules, BuiltinProvider builtins)	select all rules transitively feeding into rules

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

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

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
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	ReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)	upfront determining all relevant edb relations
void	DefaultReasoningMonitor.setIntensionalDB(IntensionalDB idb)
void	ReasoningMonitor.setIntensionalDB(IntensionalDB idb)	Set the intensional db, e.g. to utilize the rule graph

Uses of IntensionalDB in com.semedy.reasoner.api.rewriter

Methods in com.semedy.reasoner.api.rewriter that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	RewriterProvider.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 enumeration
IntensionalDB	Rewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules

Methods in com.semedy.reasoner.api.rewriter with parameters of type IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	RewriterProvider.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 enumeration
IntensionalDB	Rewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules

Uses of IntensionalDB in com.semedy.reasoner.app

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

Modifier and Type	Method	Description
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	DebuggingMonitor.setIntensionalDB(IntensionalDB idb)

Uses of IntensionalDB in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
IntensionalDB	JsonMonitor.getIDB()
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, Properties builtinConfig)

Methods in com.semedy.reasoner.core with parameters of type IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
void	JsonMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryHandler.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, Properties builtinConfig)
void	JsonMonitor.setIntensionalDB(IntensionalDB idb)

Uses of IntensionalDB in com.semedy.reasoner.exercises

Methods in com.semedy.reasoner.exercises that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	RemoveDoubleLiterals.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)

Methods in com.semedy.reasoner.exercises with parameters of type IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	RemoveDoubleLiterals.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)

Uses of IntensionalDB in com.semedy.reasoner.parser.oologic

Constructors in com.semedy.reasoner.parser.oologic with parameters of type IntensionalDB

Modifier	Constructor	Description
	IDBCollectionAdapter(IntensionalDB idb)

Uses of IntensionalDB in com.semedy.reasoner.reasoning

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

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)
void	TestMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	TestMonitor.setIntensionalDB(IntensionalDB idb)

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

Methods in com.semedy.reasoner.reasoning.monitor with parameters of type IntensionalDB

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	DefaultReasoningMonitor.setIntensionalDB(IntensionalDB idb)

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

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

Modifier and Type	Method	Description
void	StatisticsCollector.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	SystemReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
static int[]	RuleCompiler.createPartsVector(IntensionalDB idb)	creates a vector of max parts for literals.
void	StatisticsCollector.setIntensionalDB(IntensionalDB idb)
void	SystemReasoningMonitor.setIntensionalDB(IntensionalDB idb)

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

Modifier	Constructor	Description
	BinaryPattern(InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, BuiltinProvider builtinProvider, IntensionalDB idb, SymbolTable symbolTable, boolean streamReasoning, String queryKey, Properties builtinProperties, ExtensionalDB edb, boolean topDown)
	BodyPattern(InterruptFlag interruptFlag, IntensionalDB idb)
	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 IntensionalDB in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter that return IntensionalDB

Modifier and Type	Method	Description
IntensionalDB	ActionRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	AxiomInjector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BetweenRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpRuleSelector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	CompareRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DebuggingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DynamicOptimizer.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ElementOfRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EliminateRedundantBodiesRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EqualRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FillNullRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FilterRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FullFolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FunctionalRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	IsaRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	MagicSetRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, SymbolTable symbolTable, String module)	Fill rules into module.
IntensionalDB	PathRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstantsRewriter.rewrite(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstraintsRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryRuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RewriterSkeleton.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RuleReordering.rewrite(IntensionalDB idb, ExtensionalDB[] edbs)
IntensionalDB	SnapshotRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Splitter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	TopDownOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Unfolder.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	SeparateEDBfromIDB.separate(IntensionalDB idb, ExtensionalDB[] edbs, boolean cep)

Methods in com.semedy.reasoner.rewriter with parameters of type IntensionalDB

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(IntensionalDB idb, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
boolean	MagicSetRewriter.goDown(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols)
boolean	TopDownOrderingRewriter.goDown(Literal l, BitSet boundVariables, String label, IntensionalDB oldIdb, IntensionalDB newIdb, ExtensionalDB[] edbs, SymbolTable symbols)
IntensionalDB	ActionRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	AxiomInjector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BetweenRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	BottomUpRuleSelector.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	CompareRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DebuggingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	DynamicOptimizer.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ElementOfRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EliminateRedundantBodiesRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	EqualRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FillNullRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FilterRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FullFolderRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	FunctionalRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	IsaRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	MagicSetRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	ModuleRewriter.rewrite(IntensionalDB idb, SymbolTable symbolTable, String module)	Fill rules into module.
IntensionalDB	PathRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstantsRewriter.rewrite(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	PropagateConstraintsRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	QueryRuleRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RewriterSkeleton.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	RuleReordering.rewrite(IntensionalDB idb, ExtensionalDB[] edbs)
IntensionalDB	SnapshotRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Splitter.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	TopDownOrderingRewriter.rewrite(IntensionalDB idb, ExtensionalDB[] sedbs, SymbolTable symboltable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	Unfolder.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
IntensionalDB	SeparateEDBfromIDB.separate(IntensionalDB idb, ExtensionalDB[] edbs, boolean cep)

Uses of IntensionalDB in com.semedy.reasoner.rewriter.sips

Methods in com.semedy.reasoner.rewriter.sips with parameters of type IntensionalDB

Modifier and Type	Method	Description
boolean	TopDownSIPS.isEvaluable(Rule R, int ix, BitSet groundvars, IntensionalDB IDB, SymbolTable symbols)	Is rule body beginning at index with given groundvars evaluable
WeightedLiteral[]	EqualSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)
WeightedLiteral[]	SIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.
WeightedLiteral[]	TopDownSIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)

Uses of IntensionalDB in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type IntensionalDB

Modifier and Type	Method	Description
void	ReasoningMonitorTimes.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	ReasoningMonitorTimes.setIntensionalDB(IntensionalDB idb)