Uses of Interface
com.semedy.reasoner.api.symboltable.SymbolTable

Packages that use SymbolTable

Package	Description
com.semedy.reasoner.api.builtin
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.logic
com.semedy.reasoner.api.parser
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.rewriter
com.semedy.reasoner.app
com.semedy.reasoner.builtin.action
com.semedy.reasoner.builtin.aggregation
com.semedy.reasoner.builtin.connector
com.semedy.reasoner.builtin.directfilter
com.semedy.reasoner.builtin.filter
com.semedy.reasoner.builtin.functional
com.semedy.reasoner.builtin.relational
com.semedy.reasoner.builtin.sensor
com.semedy.reasoner.builtin.similarity
com.semedy.reasoner.core
com.semedy.reasoner.customer.deuba
com.semedy.reasoner.edb
com.semedy.reasoner.edb.loader
com.semedy.reasoner.edb.ramstore
com.semedy.reasoner.edb.zdb
com.semedy.reasoner.exercises
com.semedy.reasoner.idb
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.symboltable
com.semedy.reasoner.symboltable.encoder
com.semedy.reasoner.symboltable.index
com.semedy.reasoner.utils

Uses of SymbolTable in com.semedy.reasoner.api.builtin

Methods in com.semedy.reasoner.api.builtin with parameters of type SymbolTable

Modifier and Type	Method	Description
void	AbstractConnector.setSymbolTable(SymbolTable symbolTable)
void	Builtin.setSymbolTable(SymbolTable symbolTable)	set the symbol table
abstract void	CachedConnector.setSymbolTable(SymbolTable symbolTable)
void	SensorBuiltin.setSymbolTable(SymbolTable symbolTable)	set the symbol table
void	SimilarityBuiltin.setSymbolTable(SymbolTable symbols)

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

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

Modifier and Type	Method	Description
SymbolTable	Core.getSymbolTable()	returns the symbol table ,
SymbolTable	DeductiveDatabase.getSymbolTable()	get reasoning symbol table
abstract SymbolTable	EventResultReceiver.getSymbolTable()	get the symboltable to decode the results
SymbolTable	MaterializationReceiver.getSymbolTable()
SymbolTable	StoreEventResultReceiver.getSymbolTable()

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

Modifier and Type	Method	Description
void	DebuggingMonitor.setReasoningSymbolTable(SymbolTable symbolTable)
void	Core.setSymbolTable(SymbolTable symbols)	set the symbol table
abstract void	EventResultReceiver.setSymbolTable(SymbolTable symbols)	set the symbol table to decode the results
void	MaterializationReceiver.setSymbolTable(SymbolTable symbols)
void	StoreEventResultReceiver.setSymbolTable(SymbolTable symbols)

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

Modifier	Constructor	Description
	MaterializationReceiver(InterruptFlag interruptFlag, Literal literal, DeductiveDatabase ddb, ExtensionalDB edb, SymbolTable symbols, SymbolTable reasoningSymbols)

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

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

Modifier and Type	Method	Description
void	ExtensionalDB.backupOld(String backupfile, SymbolTable symbolTable)	Deprecated.
void	ExtensionalDB.bulkExport(InterruptFlag interrupt, List<Filter> filters, String resultdirectory, SymbolTable symbolTable)	Bulk export of facts for predicate symbols to raw files in result directory
void	ExtensionalDB.bulkLoadFiles(List<File>[] files, Map<String,Long> counts, Map<String,String> indexToPredicates, String tempdir, SymbolTable symbols)
InvertedIndices	ExtensionalDB.createIndex(SymbolTable symbols, long propCode)	create indices for property
Schemas	ExtensionalDB.createSchemas(SymbolTable symbols)	Create a cache for the hierarchy
void	ExtensionalDB.exportNQuads(List<String> predicates, Writer writer, SymbolTable symbolTable, String iri)	export of facts for predicate symbols to N-Quads file
void	ExtensionalDB.exportOOLogic(InterruptFlag interrupt, List<Filter> filters, Writer writer, SymbolTable symbolTable)	export of facts for predicate symbols to OO-logic file
void	ExtensionalDB.exportOOLogic(InterruptFlag interrupt, List<Filter> filters, Writer writer, SymbolTable symbolTable, String module)	export of facts for predicate symbols to OO-logic file.
void	ExtensionalDB.exportOOLogic(InterruptFlag interrupt, List<Filter> filters, String resultFile, SymbolTable symbolTable)	export of facts for predicate symbols to OO-logic file
void	ExtensionalDB.exportOOLogic(InterruptFlag interrupt, List<Filter> filters, String resultFile, SymbolTable symbolTable, String module)	export of facts for predicate symbols to OO-logic file.
void	LoaderProvider.load(Collection<String> paths, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load facts from files
void	LoaderProvider.loadByStream(InputStream stream, InputStream companionstream, String format, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load facts by stream. format is either the file format like json,nq etc.
void	ExtensionalDB.loadFactsFiles(List<String> files, boolean deleteold, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	reads facts files in ordinary predicate form
void	ExtensionalDB.loadFiles(List<String> files, SymbolTable symbols, ExternalDataTypeProvider dataTypes)	load all kind of files (besides OO-logic files)
void	ExtensionalDB.recreateIndices(SymbolTable symbols)	recreate indices for properties
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 SymbolTable

Modifier	Constructor	Description
	SymbolEncoder(SymbolTable symbols, Map<String,String> indexToPredicates, String workdir, Map<String,Long> counters)
	SymbolEncoderSort(SymbolTable symbols, String workdir, long numberOfTriples, int index, int parts, BlockingQueue<Boolean> progress)

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

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

Modifier and Type	Method	Description
void	IntensionalDB.createAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	create the relevant axioms
void	IntensionalDB.createRuleGraph(SymbolTable symboltable)	Creates a rule graph.
void	IntensionalDB.exportRules(Writer out, SymbolTable symbolTable)	export all rules
void	IntensionalDB.exportRules(String filepath, boolean append, SymbolTable symbolTable)	store all rules in file given by file path
void	IntensionalDB.loadRuleFiles(List<String> files, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)	load rules from file
void	IntensionalDB.removeAxioms(SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config)	remove the relevant axioms
String	IntensionalDB.ruleToString(Rule r, SymbolTable symbols)	return an OO-Logic representation of the rule
String	IntensionalDB.toString(SymbolTable symbols)

Uses of SymbolTable in com.semedy.reasoner.api.logic

Methods in com.semedy.reasoner.api.logic with parameters of type SymbolTable

Modifier and Type	Method	Description
String	Literal.toString(SymbolTable symbols)
String	Rule.toString(SymbolTable symbols)
String	Rule.toString(SymbolTable symbols, List<Rule> aggregationRules)

Uses of SymbolTable in com.semedy.reasoner.api.parser

Constructors in com.semedy.reasoner.api.parser with parameters of type SymbolTable

Modifier	Constructor	Description
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins)
	RuleParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

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

Methods in com.semedy.reasoner.api.reasoning that return SymbolTable

Modifier and Type	Method	Description
SymbolTable	Reasoner.getSymbolTable()	Returns the reasoning symbol table used to create new symbols during reasoning This reasoning symbol table is different to the base symbol table given by core.getSymbolTable() To decode reasoning results always use this one

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

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.setReasoningSymbolTable(SymbolTable symbolTable)
void	ReasoningMonitor.setReasoningSymbolTable(SymbolTable symbolTable)	Set the symbol table
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 SymbolTable in com.semedy.reasoner.api.rewriter

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

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

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

Modifier and Type	Method	Description
void	DebuggingMonitor.setReasoningSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.action

Methods in com.semedy.reasoner.builtin.action with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Assert.setSymbolTable(SymbolTable symbolTable)
void	ConstraintException.setSymbolTable(SymbolTable symbolTable)
void	MoneyTransfer.setSymbolTable(SymbolTable arg0)
void	PrintOut.setSymbolTable(SymbolTable symbolTable)
void	PrintToFile.setSymbolTable(SymbolTable symbolTable)
void	RaspiGpioOut.setSymbolTable(SymbolTable symbolTable)
void	Retract.setSymbolTable(SymbolTable symbolTable)
void	SendMail.setSymbolTable(SymbolTable symbolTable)
void	SendMail2.setSymbolTable(SymbolTable symbolTable)
void	ToCSV.setSymbolTable(SymbolTable symbolTable)
void	ToJSON.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.aggregation

Methods in com.semedy.reasoner.builtin.aggregation with parameters of type SymbolTable

Modifier and Type	Method	Description
void	AbstractAggregation.setSymbolTable(SymbolTable symbolTable)
void	CollatingCompose.setSymbolTable(SymbolTable symbolTable)
void	Compose.setSymbolTable(SymbolTable symbolTable)
void	Set.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.connector

Methods in com.semedy.reasoner.builtin.connector with parameters of type SymbolTable

Modifier and Type	Method	Description
void	CountEventsInTime.setSymbolTable(SymbolTable symbolTable)
void	Currency.setSymbolTable(SymbolTable arg0)
void	Query.setSymbolTable(SymbolTable arg0)
void	ReasonerQuery.setSymbolTable(SymbolTable arg0)
void	TestMultiRelational.setSymbolTable(SymbolTable symbolTable)
void	TestMultiRelationalCached.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.directfilter

Methods in com.semedy.reasoner.builtin.directfilter with parameters of type SymbolTable

Modifier and Type	Method	Description
void	IsNotFunctional2.setSymbolTable(SymbolTable symbolTable)
void	IsNotFunctional3.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.filter

Methods in com.semedy.reasoner.builtin.filter with parameters of type SymbolTable

Modifier and Type	Method	Description
void	BooleanExpression.setSymbolTable(SymbolTable symbolTable)
void	ComparisonBuiltin.setSymbolTable(SymbolTable symbolTable)
void	ComparisonBuiltin2.setSymbolTable(SymbolTable symbolTable)
void	ComparisonBuiltinNew.setSymbolTable(SymbolTable symbolTable)
void	ContainsSimilar.setSymbolTable(SymbolTable symbolTable)
void	Different.setSymbolTable(SymbolTable symbolTable)
void	Equal.setSymbolTable(SymbolTable symbolTable)
void	Equals.setSymbolTable(SymbolTable symbolTable)
void	False.setSymbolTable(SymbolTable symbolTable)
void	FilterExpression.setSymbolTable(SymbolTable symbolTable)
void	InstanceFilterBuiltin.setSymbolTable(SymbolTable symbolTable)
void	IsCalendar.setSymbolTable(SymbolTable symbolTable)
void	IsDouble.setSymbolTable(SymbolTable symbolTable)
void	IsEqual.setSymbolTable(SymbolTable symbolTable)
void	IsEqualSet.setSymbolTable(SymbolTable symbolTable)
void	IsFloat.setSymbolTable(SymbolTable symbolTable)
void	IsJsonId.setSymbolTable(SymbolTable symbolTable)
void	IsJsonTopId.setSymbolTable(SymbolTable symbolTable)
void	IsNotEqual.setSymbolTable(SymbolTable symbolTable)
void	IsNumber.setSymbolTable(SymbolTable symbolTable)
void	IsReasoning.setSymbolTable(SymbolTable symbolTable)
void	IsSet.setSymbolTable(SymbolTable symbolTable)
void	IsString.setSymbolTable(SymbolTable symbolTable)
void	IsSubset.setSymbolTable(SymbolTable symbolTable)
void	IsType.setSymbolTable(SymbolTable symbols)
void	JaroWinklerSimilarityBuiltin.setSymbolTable(SymbolTable arg0)
void	NoneOf.setSymbolTable(SymbolTable symbolTable)
void	OneOf.setSymbolTable(SymbolTable symbolTable)
void	Print.setSymbolTable(SymbolTable symbolTable)
void	RaspiGpioOut.setSymbolTable(SymbolTable symbolTable)
void	RegularExpression.setSymbolTable(SymbolTable symbolTable)
void	Seek.setSymbolTable(SymbolTable symbolTable)
void	Select.setSymbolTable(SymbolTable symbolTable)
void	StartsWithOneOf.setSymbolTable(SymbolTable symbolTable)
void	SubJsonId.setSymbolTable(SymbolTable symbolTable)
void	True.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.functional

Methods in com.semedy.reasoner.builtin.functional with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Assign.setSymbolTable(SymbolTable symbolTable)
void	ClassFunctionBuiltin.setSymbolTable(SymbolTable symbolTable)
void	Code.setSymbolTable(SymbolTable symbolTable)
void	ConcatMany.setSymbolTable(SymbolTable symbolTable)
void	CreateCircle.setSymbolTable(SymbolTable symbolTable)
void	CreateCircleWithDistanceUnit.setSymbolTable(SymbolTable symbolTable)
void	CreateJsonID.setSymbolTable(SymbolTable symbolTable)
void	CreatePoint.setSymbolTable(SymbolTable symbolTable)
void	CreatePolygon.setSymbolTable(SymbolTable symbolTable)
void	CreatePolygon2.setSymbolTable(SymbolTable symbolTable)
void	CreatePolygonFromPoints.setSymbolTable(SymbolTable symbolTable)
void	Day.setSymbolTable(SymbolTable symbolTable)
void	Formatter.setSymbolTable(SymbolTable symbol)
void	Increment.setSymbolTable(SymbolTable symbolTable)
void	INGBuiltin.setSymbolTable(SymbolTable arg0)
void	InstanceFunctionBuiltin.setSymbolTable(SymbolTable symbolTable)
void	IsAlive.setSymbolTable(SymbolTable symbolTable)	set the symbol table
void	JaroWinkler.setSymbolTable(SymbolTable symbolTable)
void	JsonIdToString.setSymbolTable(SymbolTable symbolTable)
void	Levenshtein.setSymbolTable(SymbolTable symbolTable)
void	MatchBuiltin.setSymbolTable(SymbolTable symbolTable)
void	MathExpression.setSymbolTable(SymbolTable symbolTable)
void	Month.setSymbolTable(SymbolTable symbolTable)
void	Now.setSymbolTable(SymbolTable symbolTable)
void	ParsePoint.setSymbolTable(SymbolTable symbolTable)
void	PointX.setSymbolTable(SymbolTable symbolTable)
void	RandomBoolean.setSymbolTable(SymbolTable symbolTable)
void	RandomDuration.setSymbolTable(SymbolTable symbolTable)
void	RandomEnumeration.setSymbolTable(SymbolTable symbolTable)
void	RandomInteger.setSymbolTable(SymbolTable symbolTable)
void	StockPrice.setSymbolTable(SymbolTable symbols)
void	String2Number.setSymbolTable(SymbolTable symbolTable)
void	Substitute.setSymbolTable(SymbolTable symbolTable)
void	SWIFT32a.setSymbolTable(SymbolTable symbolTable)
void	Text.setSymbolTable(SymbolTable symbolTable)
void	Time2MilliSeconds.setSymbolTable(SymbolTable symbolTable)
void	ToString.setSymbolTable(SymbolTable symbols)
void	ToType.setSymbolTable(SymbolTable symbols)
void	WeatherBuiltin.setSymbolTable(SymbolTable arg0)
void	WeatherForecast.setSymbolTable(SymbolTable arg0)
void	Week.setSymbolTable(SymbolTable symbolTable)
void	Year.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.relational

Methods in com.semedy.reasoner.builtin.relational with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Builtins1.setSymbolTable(SymbolTable symbolTable)
void	Builtins2.setSymbolTable(SymbolTable symbolTable)
void	Enumerate.setSymbolTable(SymbolTable symbolTable)
void	GeoSearch.setSymbolTable(SymbolTable symbolTable)
void	In.setSymbolTable(SymbolTable symbolTable)
void	NGram.setSymbolTable(SymbolTable symbolTable)
void	Predicates.setSymbolTable(SymbolTable symbolTable)
void	RegularExpression.setSymbolTable(SymbolTable symbolTable)
void	Seek3.setSymbolTable(SymbolTable symbolTable)
void	Seek4.setSymbolTable(SymbolTable symbolTable)
void	Seek5.setSymbolTable(SymbolTable symbolTable)
void	SeekAnd.setSymbolTable(SymbolTable symbolTable)
void	Sqrt.setSymbolTable(SymbolTable symbolTable)
void	TextSearch2.setSymbolTable(SymbolTable symbolTable)
void	TextSearch3.setSymbolTable(SymbolTable symbolTable)
void	TimeRaster.setSymbolTable(SymbolTable symbolTable)
void	Window.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.sensor

Methods in com.semedy.reasoner.builtin.sensor with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Alarm.setSymbolTable(SymbolTable symbolTable)
void	Ticks.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.builtin.similarity

Methods in com.semedy.reasoner.builtin.similarity with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Tolerance.setSymbolTable(SymbolTable symbols)

Uses of SymbolTable in com.semedy.reasoner.core

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

Modifier and Type	Method	Description
SymbolTable	EmptyEventResultReceiver.getSymbolTable()

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

Modifier and Type	Method	Description
IntensionalDB	QueryHandler.applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
static void	TransactionLogHandler.replayTransactionLogs(String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider datatypes)	Search for corrupted predicates in logdir and Replay corresponding transaction log into edb relations.
static void	TransactionLogHandler.replayTransactionLogs(List<String> predicates, String logdir, ExtensionalDB edb, SymbolTable symbols, ExternalDataTypeProvider externalDataTypes)	Replay transaction files of predicates.
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.setReasoningSymbolTable(SymbolTable symbolTable)
void	Compose.setSymbolTable(SymbolTable symbolTable)
void	ContainsSequence.setSymbolTable(SymbolTable symbolTable)
void	ContainsSequence2.setSymbolTable(SymbolTable symbolTable)
void	EmptyEventResultReceiver.setSymbolTable(SymbolTable symbols)
void	OptimizedContainsSequence.setSymbolTable(SymbolTable symbolTable)
void	PerformanceTest0.ContainsSequence.setSymbolTable(SymbolTable symbolTable)
void	PerformanceTest0.ContainsWord.setSymbolTable(SymbolTable symbolTable)
void	Sum.setSymbolTable(SymbolTable symbolTable)

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

Modifier	Constructor	Description
	IntermediateResultConsumer(InterruptFlag interrupt, BlockingQueue<Long> source, BlockingQueue<Object> target, int arity, SymbolTable symbols)
	IntermediateResultProducer(InterruptFlag interruptflag, int arity, String tempDir, BlockingQueue<Long> queue, SymbolTable symbols, int maxNumberOfResults)
	QueryHandler(BuiltinProvider builtins, RewriterProvider rewriters, SymbolTable symbols, ExternalDataTypeProvider datatypes, String queryDir)
	ResultBufferNotThreaded(TupleBuffer buffer, int length, SymbolTable symbols, List<String> variableNames)
	ResultEnumeratorNotThreaded(List<TupleEnumerator> enms, int arity, SymbolTable symbols, List<String> variables)

Uses of SymbolTable in com.semedy.reasoner.customer.deuba

Methods in com.semedy.reasoner.customer.deuba with parameters of type SymbolTable

Modifier and Type	Method	Description
void	OldSimiliarityBuiltIn.setSymbolTable(SymbolTable symbolTable)
void	SimilarityBuiltIn.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.edb

Methods in com.semedy.reasoner.edb with parameters of type SymbolTable

Modifier and Type	Method	Description
void	Compose.setSymbolTable(SymbolTable symbolTable)
void	Sum.setSymbolTable(SymbolTable symbolTable)

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

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

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)

Constructors in com.semedy.reasoner.edb.loader with parameters of type SymbolTable

Modifier	Constructor	Description
	SymbolEncoder(SymbolTable symbols, Map<String,String> indexToPredicates, String workdir, Map<String,Long> counters)
	SymbolEncoderSort(SymbolTable symbols, String workdir)

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

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

Modifier	Constructor	Description
	TupleSymbolComparator(SymbolTable symbols1, SymbolTable symbols2, int arity)

Uses of SymbolTable in com.semedy.reasoner.edb.zdb

Constructors in com.semedy.reasoner.edb.zdb with parameters of type SymbolTable

Modifier	Constructor	Description
	Schemas(ExtensionalDB edb, SymbolTable symbols)
	SymbolDecoder(SymbolTable symbols, String workdir, List<File> resultfiles)

Uses of SymbolTable in com.semedy.reasoner.exercises

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

Modifier and Type	Method	Description
IntensionalDB	RemoveDoubleLiterals.rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
void	FilterA.setSymbolTable(SymbolTable symbolTable)
void	FilterB.setSymbolTable(SymbolTable symbolTable)
void	Increment.setSymbolTable(SymbolTable symbolTable)
void	IsString.setSymbolTable(SymbolTable symbolTable)
void	Mean.setSymbolTable(SymbolTable symbolTable)
void	Sqrt.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.idb

Constructors in com.semedy.reasoner.idb with parameters of type SymbolTable

Modifier	Constructor	Description
	RuleGraph(SymbolTable symbolTable)

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

Methods in com.semedy.reasoner.parser.oologic that return SymbolTable

Modifier and Type	Method	Description
static SymbolTable	ParserUtils.loadAllFactsAndRulesInDirectory(String directoryPath, Set<Rule> rules, Set<Literal> facts, int maxTermLength)	load all rules and facts in files in same (flat) directory

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

Modifier	Constructor	Description
	InternalOOLogicParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)
	OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts, SymbolTable symbols, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

Uses of SymbolTable in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning that return SymbolTable

Modifier and Type	Method	Description
SymbolTable	ReasonerNotThreaded.getSymbolTable()	Returns the reasoning symbol table used to create new symbols during reasoning
SymbolTable	ReasonerThreadedFactsPartitioning.getSymbolTable()
SymbolTable	ReasonerThreadedRulesPartitioning.getSymbolTable()

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

Modifier and Type	Method	Description
void	TestMonitor.setReasoningSymbolTable(SymbolTable symbolTable)
void	BuiltinsTest.SuperSimpleBuiltin.setSymbolTable(SymbolTable symbolTable)
void	ExceptionBuiltin.setSymbolTable(SymbolTable symbolTable)
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)

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

Modifier	Constructor	Description
	ReasonerNotThreaded(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipAnswers, long maxNumberOfResults, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties)
	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)
	ReasoningFactsRegisterThread(InterruptFlag interruptFlag, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, EventResultReceiver receiver, CoreReadLock edbReadLock, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, Properties builtinProperties, int pulsedTuples, boolean sorted, boolean skipAnswers)
	ReasoningFactsThread(InterruptFlag interruptFlag, Receiver receiver, SymbolTable symboltable, BuiltinProvider builtinFactory, boolean skipsendinganswers, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, boolean skipAnswers, Properties builtinProperties)
	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 SymbolTable in com.semedy.reasoner.reasoning.monitor

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

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.setReasoningSymbolTable(SymbolTable symbolTable)

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

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

Modifier and Type	Class	Description
class	ReasoningSymbolTableNotInternalize	Wrapper around a reasoning symbol table which does not internalize terms

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

Modifier and Type	Method	Description
void	StatisticsCollector.setReasoningSymbolTable(SymbolTable symbolTable)
void	SystemReasoningMonitor.setReasoningSymbolTable(SymbolTable symbolTable)

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

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)
	Encoder(SymbolTable symbols, int[] index, 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)
	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)
	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)
	SubstituteFunction(int i, InterruptFlag interruptFlag, VariableHandler vh, Literal body, SymbolTable symboltable, ReasoningMonitor monitor)

Uses of SymbolTable in com.semedy.reasoner.rewriter

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

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(IntensionalDB idb, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
List<Rule>	AxiomInjector.createAxioms(Object module, SymbolTable symbols, ExternalDataTypeProvider datatypes, int i)
static void	AxiomInjector.createStandardAxioms(SymbolTable symbolTable, ExternalDataTypeProvider datatypes, BuiltinProvider builtins)
List<Object>	AxiomInjector.detectModules(Rule rule, SymbolTable symbols)
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	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)
void	SelectOne.setSymbolTable(SymbolTable symbolTable)

Constructors in com.semedy.reasoner.rewriter with parameters of type SymbolTable

Modifier	Constructor	Description
	RuleReordering(SIPS bodyOrdering, SymbolTable symbolTable)
	SeparateEDBfromIDB(SymbolTable symboltable)

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

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

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 SymbolTable in com.semedy.reasoner.symboltable

Subinterfaces of SymbolTable in com.semedy.reasoner.symboltable

Modifier and Type	Interface	Description
interface	ReasoningSymbolTable	As an extension of the symbol table it provides methods for matching and substituting terms

Classes in com.semedy.reasoner.symboltable that implement SymbolTable

Modifier and Type	Class	Description
class	AbstractSymbolTable	provides all functionality for handling a symbol table in main memory
class	MultiSymbolTable
class	ReasoningSymbolTableRAM	Provides all functionality for handling a symbol table in main memory for reasoning.
class	SymbolTableBplus	Implements a persistent symbol table based on b+ trees
class	SymbolTableRAM	provides all functionality for handling a symbol table in main memory

Methods in com.semedy.reasoner.symboltable that return SymbolTable

Modifier and Type	Method	Description
SymbolTable	MultiSymbolTable.getPartialSymboltable(int index)

Methods in com.semedy.reasoner.symboltable with parameters of type SymbolTable

Modifier and Type	Method	Description
void	IsList.setSymbolTable(SymbolTable symbolTable)

Constructors in com.semedy.reasoner.symboltable with parameters of type SymbolTable

Modifier	Constructor	Description
	ReasoningSymbolTableRAM(ExternalDataTypeProvider dataTypes, boolean directencoding, SymbolTable edbsymboltable, int termlength)	is it the reasoning symbol table

Uses of SymbolTable in com.semedy.reasoner.symboltable.encoder

Methods in com.semedy.reasoner.symboltable.encoder with parameters of type SymbolTable

Modifier and Type	Method	Description
void	CreatePolygon.setSymbolTable(SymbolTable symbolTable)

Uses of SymbolTable in com.semedy.reasoner.symboltable.index

Methods in com.semedy.reasoner.symboltable.index with parameters of type SymbolTable

Modifier and Type	Method	Description
void	GeoIndex.recreateIndex(SymbolTable symbols, ExtensionalDB edb)	recreate whole geo index
void	TextIndex.recreateIndex(SymbolTable symbols, ExtensionalDB edb)	recreate whole text index

Uses of SymbolTable in com.semedy.reasoner.utils

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

Modifier and Type	Method	Description
void	ReasoningMonitorTimes.setReasoningSymbolTable(SymbolTable symbolTable)
static String	OOlogicShape.toString(Literal L, boolean magic, SymbolTable symbols, BuiltinProvider builtins)	return OO-logic syntax for literal L
static String	OOlogicShape.toString(Literal L, SymbolTable symbols, BuiltinProvider builtins)	return OO-logic syntax for literal L
static String	OOlogicShape.toString(Rule r, int markedIndex, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r, rule body 'markedIndex' is marked
static String	OOlogicShape.toString(Rule r, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r
static String	OOlogicShape.toString(Object term, SymbolTable symbols)
static Object[]	TestUtil.tuple(SymbolTable st, String... terms)

Constructors in com.semedy.reasoner.utils with parameters of type SymbolTable

Modifier	Constructor	Description
	ReasoningMonitorTimes(PrintStream out, SymbolTable symbols)