Uses of Class
com.semedy.reasoner.api.symboltable.SymboltableException

Packages that use SymboltableException

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.symboltable

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

Methods in com.semedy.reasoner.api.core that throw SymboltableException

Modifier and Type	Method	Description
boolean	JavaDeductiveDatabase.addJavaObjects(Collection<JavaObject> objects)	Add a set of homogenious java objects.
Object	ResultBufferThreaded.get(int index)	Get object at argument index
Object	ResultBuffer.getCode(int index)	Get code at argument index
Object	ResultBufferThreaded.getCode(int index)	Get code at argument index
void	DeductiveDatabase.load(String path)	load files from file path path can be a directory or a single file files are distinguished by their endings: .raw, .raw.zip, .rls, .fct
void	DeductiveDatabase.load(List<String> paths)	load files from file paths files are distinguished by their endings: .raw, .raw.zip, .rls, .fct
void	JSONDeductiveDatabase.load(String path)	Import from a json files
void	JSONDeductiveDatabase.load(List<String> paths)	Import from a list of json files
void	DeductiveDatabase.loadByStream(InputStream in, InputStream companionstream, String format)	load facts by stream. format is either the file format like raw,json,nq etc.
void	JSONDeductiveDatabase.loadByStream(InputStream in, InputStream companionstream, String format)	load facts by stream.
Object[]	ResultBuffer.toArray()	get an array of result objects
Object[]	ResultBufferThreaded.toArray()	get an array of result objects

Uses of SymboltableException in com.semedy.reasoner.api.symboltable

Methods in com.semedy.reasoner.api.symboltable that throw SymboltableException

Modifier and Type	Method	Description
boolean	SymbolTableIterator.getNext()	Moves to the next symbol table element.
Object	SymbolTableIterator.getSymbol()	get a symbol object for the current element

Uses of SymboltableException in com.semedy.reasoner.app

Methods in com.semedy.reasoner.app that throw SymboltableException

Modifier and Type	Method	Description
void	Foil.load()
void	MultiInterpreter.load()
void	APIMethods.loadJsons(String path)	load file from path if path is an url the file is stored in the archive directory and then loaded

Uses of SymboltableException in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core that throw SymboltableException

Modifier and Type	Method	Description
static List<Literal>	JsonUtils.createLiteralsEncoded(Collection<Object[]> triples)	create a set of literals out of a set of encoded triples
static List<Literal>	JsonUtils.createLiteralsEncoded(Collection<Object[]> triples, Object module)	create a set of literals out of a set of encoded triples
Object	ResultBufferNotThreaded.getCode(int index)	Get code at argument index
void	JsonTransactionLogHandler.playIn(String path, Core core)	Modify edb according to log file Path can be a single file or a directory
void	JsonThreadingTest.test()
void	JsonThreadingTest1.test()
void	JsonThreadingTest2.test()

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

Methods in com.semedy.reasoner.parser.oologic that throw SymboltableException

Modifier and Type	Method	Description
static void	ParserUtils.loadAllClasses(String directoryPath, Set<String> classes)	Return all predicates and classes in all files in same (flat) directory
static void	ParserUtils.loadAllPredicateSymbols(String directoryPath, Set<String> predicates)	Return all predicates in all files in same (flat) directory

Uses of SymboltableException in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning that throw SymboltableException

Modifier and Type	Method	Description
boolean	AbstractTestTemplate.testFile(Reader is, String path, boolean topdown, Configuration.StorageType storage, boolean symboltableondisc, boolean directencoded)

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

Methods in com.semedy.reasoner.reasoning.processes that throw SymboltableException

Modifier and Type	Method	Description
void	ReasoningSymbolTableNotInternalize.clear()
Function	ReasoningSymbolTableNotInternalize.createNonGroundFunction(Function t)
Function	ReasoningSymbolTableNotInternalize.decodeNonGroundFunction(Function t)
void	ReasoningSymbolTableNotInternalize.delete()
boolean	ReasoningSymbolTableNotInternalize.match(Object t, long groundterm, long[] substitutions)
boolean	ReasoningSymbolTableNotInternalize.matchArguments(Object t, long[] groundtermarguments, long[] substitutions)
boolean	ReasoningSymbolTableNotInternalize.matchArguments(Object t, TupleBuffer groundtermarguments, long[] substitutions)
void	ReasoningSymbolTableNotInternalize.recreateSymbolTableIndexes()
long	ReasoningSymbolTableNotInternalize.substitute(Object t, long[] substitutions)
Object	ReasoningSymbolTableNotInternalize.substitute(Object t, Object[] substitutions)
Object	ReasoningSymbolTableNotInternalize.substitute(Object t, Map<Variable,Object> substitutions)
long[]	ReasoningSymbolTableNotInternalize.substituteArguments(Object t, long[] substitutions)
Object[]	ReasoningSymbolTableNotInternalize.substituteArguments(Object t, Object[] substitutions)
void	ReasoningSymbolTableNotInternalize.transactionBegin()
void	ReasoningSymbolTableNotInternalize.transactionCommit()
void	ReasoningSymbolTableNotInternalize.transactionRollback()
boolean	ReasoningSymbolTableNotInternalize.unifiable(Object t, Object f)
boolean	ReasoningSymbolTableNotInternalize.unify(Object t, Object f, Map<Variable,Object> substitutions)
boolean	ReasoningSymbolTableNotInternalize.unify(Object t, Object f, Map<Variable,Object> substitutions, Map<Variable,Set<Variable>> equivalentVariables)

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

Methods in com.semedy.reasoner.rewriter.sips that throw SymboltableException

Modifier and Type	Method	Description
WeightedLiteral[]	SIPS.orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.

Uses of SymboltableException in com.semedy.reasoner.symboltable

Methods in com.semedy.reasoner.symboltable that throw SymboltableException

Modifier and Type	Method	Description
void	SymbolTableBplus.clear()
final long	SymbolTableBplus.createFunctionCode(long[] buffer, Function f)
final long	SymbolTableBplus.createFunctionCodeNotInternalize(long[] buffer, Function f)	create function code not internalized
void	SymbolTableBplus.delete()
long	SymbolTableBplus.getFunctionCode(long[] t)
long[]	SymbolTableBplus.getFunctionEncoding(long code)
Object	SymbolTableBplus.getValue(long code)	Produce a value from the code of an internal constant.
final Object	SymbolTableRAM.getValueSymbol(long code)	Produce a value from the code of an internal constant.
void	SymbolTableRAM.loadSymbolTable()	load a symbol table from file system
void	SymbolTableRAM.storeSymbolTable()	store symbol table on disk
void	SymbolTableBplus.transactionBegin()
void	SymbolTableRAM.transactionBegin()
void	SymbolTableRAM.transactionCommit()
void	SymbolTableBplus.transactionRollback()
void	SymbolTableRAM.transactionRollback()