Uses of Class
com.semedy.reasoner.api.core.Configuration

Packages that use Configuration

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
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.edb.loader
com.semedy.reasoner.exercises
com.semedy.reasoner.reasoning
com.semedy.reasoner.rewriter

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

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

Modifier and Type	Method	Description
Configuration	Core.getConfiguration()	returns the configuration switches

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

Modifier and Type	Method	Description
List<String>	JSONDeductiveDatabase.getAvailableIdentifiers(List<String> identifiers, Configuration config, Properties builtinConfig)	Which of the given json identifiers are there?
List<String>	JSONDeductiveDatabase.getAvailableIdentifiers(List<String> identifiers, String module, Configuration config, Properties builtinConfig)	Which of the given json identifiers are there?
org.json.JSONObject	JSONDeductiveDatabase.getSchema(String schemaid, Configuration config, Properties builtinConfig)	get schema with id schemaid
String	JSONDeductiveDatabase.introspectionQueryGraphQL(String graphQLQuery, String module, String variables, Configuration config, Properties builtinConfig)
boolean	JSONDeductiveDatabase.isIdentifierAvailable(String identifier, Configuration config, Properties builtinConfig)	Is this identifier for a json object there?
boolean	JSONDeductiveDatabase.isIdentifierAvailable(String identifier, String module, Configuration config, Properties builtinConfig)	Is this identifier for a json object there?
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, Configuration config, Properties builtinConfig)	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, Configuration config, Properties builtinConfig)	Materialize queries.
void	Configuration.merge(Configuration c)	Merge the current configuration with the configuration c.
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, Configuration config, Properties builtinConfig)	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, 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.
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(String ooquery, String module, Configuration config, Properties builtinConfig)	Query JSON Objects using an OO-logic query.
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	query JSON objects using the json identifiers (@id) in module Json objects can be derived
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(Collection<String> identifiers, Object module, Configuration config, Properties builtinConfig)	query JSON objects using the json identifiers (@id) in module Json objects can be derived
org.json.JSONObject	JSONDeductiveDatabase.queryJsonObjectsByGraphQL(String graphQLQuery, String module, String variables, Configuration config, Properties builtinConfig)	Query JSON Objects using a GraphQL query.
boolean	JSONDeductiveDatabase.removeJsonObject(String identifier, Configuration config, Properties builtinConfig)	Json object with given id (@id) is deleted
boolean	JSONDeductiveDatabase.removeJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	Json objects with given ids (@id) are deleted
boolean	JSONDeductiveDatabase.removeJsonObjects(Collection<String> identifiers, String module, Configuration config, Properties builtinConfig)	Json objects with given ids (@id) are deleted
List<JavaObject>	JavaDeductiveDatabase.retrieveJavaObjects(JavaObject object, String conditions, Configuration config, Properties builtinConfig)	Retrieve JavaObjects of class A.
org.json.JSONObject	JSONDeductiveDatabase.retrieveJsonObject(String identifier, Configuration config, Properties builtinConfig)	retrieve JSON object using the json identifier (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(String ooquery, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	retrieve JSON objects using the json identifiers (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig, boolean initializeTransaction)	retrieve JSON objects using the json identifiers (@id)
ResultEnumerator	JSONDeductiveDatabase.retrieveJsons(String ooquery, int maxNumberOfResults, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
ResultEnumerator	JSONDeductiveDatabase.retrieveJsons(String ooquery, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveTuples(String query, Configuration config, Properties builtinConfig)	Retrieve tuples (variable substitutions) for a given query E.g. query ?
boolean	JSONDeductiveDatabase.validateJsonObjects(List<org.json.JSONObject> jsons, String schemaid, Configuration config, Properties builtinConfig)	Validate json objects against a stored schema with @id "schema". Returns true if the schema was available and it has been successfully validated.

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

Modifier	Constructor	Description
	Core(Configuration configuration)

Uses of Configuration in com.semedy.reasoner.api.edb

Methods in com.semedy.reasoner.api.edb with parameters of type Configuration

Modifier and Type	Method	Description
void	Loader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Constructors in com.semedy.reasoner.api.edb with parameters of type Configuration

Modifier	Constructor	Description
	ExtensionalDB(String edbdir, String tempdir, String logDir, Configuration.StorageType storage, Set<String> excludedPredicates, long maxtermstoload, boolean compress, List<Literal> partition, boolean transactionLog, String[] indexedprops, Configuration config)
	ExtensionalDB(List<Literal> partitions, Configuration config)
	LoaderProvider(ExtensionalDB edb, InvertedIndices invertedIndices, String tempDir, Configuration config)

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

Methods in com.semedy.reasoner.api.idb with parameters of type Configuration

Modifier and Type	Method	Description
void	IntensionalDB.createAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	create the relevant axioms
void	IntensionalDB.removeAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	remove the relevant axioms

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

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

Modifier and Type	Method	Description
boolean	Reasoner.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	Testing the evaluation.

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

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

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 Configuration in com.semedy.reasoner.app

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

Modifier and Type	Method	Description
void	RepairEDB.repairIt(Configuration config)

Uses of Configuration in com.semedy.reasoner.core

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

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
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)

Uses of Configuration in com.semedy.reasoner.edb.loader

Methods in com.semedy.reasoner.edb.loader with parameters of type Configuration

Modifier and Type	Method	Description
void	JsonLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader2.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	JsonLoader3.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)
void	XMLLoader.setParameters(ExtensionalDB edb, InvertedIndices invertedIndices, Map<String,Long> counts, Map<String,Integer> predicateToIndex, Map<String,String> indexToPredicates, ExternalDataTypeProvider datatypes, SymbolTable symbols, long size, String[] setProperties, Configuration config)

Uses of Configuration in com.semedy.reasoner.exercises

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

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

Uses of Configuration in com.semedy.reasoner.reasoning

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

Modifier and Type	Method	Description
boolean	ReasonerNotThreaded.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)	testing the evaluation.
boolean	ReasonerThreadedFactsPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)
boolean	ReasonerThreadedRulesPartitioning.test(Reader in, SymbolTable baseTable, ExternalDataTypeProvider datatypes, ExtensionalDB edb, boolean topdown, String path, BuiltinProvider builtinProvider, RewriterProvider rewriterProvider, Configuration config, Properties prp)

Uses of Configuration in com.semedy.reasoner.rewriter

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

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(IntensionalDB idb, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
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	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	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)