Uses of Class
com.semedy.reasoner.api.edb.EDBException

Packages that use EDBException

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.edb
com.semedy.reasoner.edb.persistentstore
com.semedy.reasoner.edb.persistentstore.bplustree
com.semedy.reasoner.edb.ramstore
com.semedy.reasoner.edb.zdb
com.semedy.reasoner.exercises
com.semedy.reasoner.induction
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.symboltable
com.semedy.reasoner.utils

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

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

Modifier and Type	Method	Description
boolean	DeductiveDatabase.addFact(Literal L)	Add a fact to the deductive database.
boolean	DeductiveDatabase.addFacts(Collection<Literal> facts)	Add facts to the deductive database.
boolean	JavaDeductiveDatabase.addJavaObjects(Collection<JavaObject> objects)	Add a set of homogenious java objects.
void	DeductiveDatabase.applyChangeSet(List<String> paths)	Applies changes to the extensional database. During this operation the to be modified predicates are read locked.
void	DeductiveDatabase.backup(String backupfile)	create a backup for the database
ResultEnumerator	ResultEnumerator.cloneEnumerator()	clone the iterator
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	DeductiveDatabase.export(InterruptFlag interrupt, List<String> predicates, String resultdirectory)	bulk export of facts for predicates to raw files in result directory
void	DeductiveDatabase.exportNQuads(Writer writer, String iri)	export of facts as N-Quads.
void	DeductiveDatabase.exportNQuads(String resultpath, String iri)	export of facts as N-Quads
void	DeductiveDatabase.exportOOLogic(InterruptFlag interrupt, Writer writer, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	DeductiveDatabase.exportOOLogic(InterruptFlag interrupt, String resultpath, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	DeductiveDatabase.exportOOLogic(InterruptFlag interrupt, List<Filter> filters, Writer writer, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	DeductiveDatabase.exportOOLogic(InterruptFlag interrupt, List<Filter> filter, String resultpath, String module)	export of facts and rules for predicates to file in OO-logic into a module.
boolean	ResultEnumerator.hasFinished()	Is the enumerator at the end?
boolean	ResultEnumerator.hasMoreElements()	Are there more elements?
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.
void	DeductiveDatabase.loadPredicates(InputStream input)	Load facts and/or rules in predicate format from an input stream.
boolean	DeductiveDatabase.longTransactionCommit()	commit a long transaction
void	DeductiveDatabase.longTransactionRollback()	discard all changes
void	ResultEnumerator.nextElement()	Move to next element (the next element is found in the buffer)
void	DebuggingMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DebuggingMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
boolean	DeductiveDatabase.removeFact(Literal L)	Remove a fact from the deductive database.
boolean	DeductiveDatabase.removeFacts(Collection<Literal> facts)	Remove facts from the deductive database.
void	Core.reOpen()	reopen a core
void	Core.slowLoadMixed(InputStream input)	Loads from an input stream facts and rules in usual predicate syntax.
void	Core.slowLoadMixedFiles(List<String> files)	Loads files for facts and rules in usual predicate syntax.
Receiver	MaterializationReceiver.startTuples(Receiver source, boolean check4Duplicates)
void	DeductiveDatabase.transactionRollback()	discard all changes
void	JavaDeductiveDatabase.transactionRollback()
void	JSONDeductiveDatabase.transactionRollback()	rollback transaction

Constructors in com.semedy.reasoner.api.core that throw EDBException

Modifier	Constructor	Description
	Core()
	Core(Configuration configuration)

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

Methods in com.semedy.reasoner.api.edb that throw EDBException

Modifier and Type	Method	Description
boolean	BaseRelation.addTuple(int tuple)	add a tuple to the relation
boolean	BaseRelation.addTuple(long[] tuple)	add a tuple to the relation
boolean	BaseRelation.addTuple(TupleBuffer tuple)	add a tuple to the relation
boolean	Partitioning.addTuple(TupleBuffer tuple, boolean add)	add or delete a tuple from the partition relation
void	ExtensionalDB.addTupleToIndices(String predicate, long[] codes, Object[] terms)	add tuple to edb indices
void	ExtensionalDB.backup(String edbDir, String backupfile)	create a backup for the extensional database
void	ExtensionalDB.backupOld(String backupfile, SymbolTable symbolTable)	Deprecated.
boolean	ExtensionalDB.checkSanity()	checks sanity of all bplus trees
boolean	Relation.checkSanity(String message, boolean shadow)	check the sanity of a relation
void	BaseRelation.clear()	remove all tuples
void	ExtensionalDB.clear()	remove all facts
void	ExtensionalDB.clearJoinCaches()	clear join caches of all relations
TupleEnumerator	TupleEnumerator.cloneEnumerator()	clones the enumerator
void	BaseRelation.close()	Close the relation.
void	FileSorter.consume(String line)
Index	BaseRelation.createIndex(int[] indexedpositions)	Get or create a simple (not sorted index) by the argument positions in indexed positions.
List<Relation>	ExtensionalDB.createRelation(String predicate)	Create a relation for predicate p.
List<Relation>	ExtensionalDB.createRelation(String predicate, int number)	Create a relation for predicate p.
Relation	RelationFactory.createRelation(String predicate, int arity, long[] grounds, int number, ExtensionalDB edb)	create a relation.
SortedIndex	BaseRelation.createSortedIndex(int[] indexedpositions)	ret or create a sorted index given by the argument positions in indexed positions
void	ExtensionalDB.delete()	delete all facts and release all files
TupleEnumerator	BaseRelation.elements()	returns an enumerator for all tuples
TupleEnumerator	BaseRelation.elements(long[] filter)	returns an filteres enumerator for all tuples
void	BaseRelation.flush()	Flush the relation.
long	BaseRelation.getMaxValue(int argument)	returns the maximal value at that argument position
long	BaseRelation.getMinValue(int argument)	returns the minimal value at that argument position
long	Relation.getNumberOfDifferentValues(int argument)	Returns the number of different values at the argument positions.
long	Relation.getNumberOfDifferentValues(int argument, long value)	Returns the number of values occurring at the argument positions Used for statistics
long	Index.getNumberOfMatchingTuples(long[] values)	returns the number of matching tuples
boolean	TupleEnumerator.hasFinished()	flag the end of the enumeration
boolean	TupleEnumerator.hasMoreElements()	Are there more elements in enumeration?
boolean	ExtensionalDB.isEmpty()	Is the extensional database empty?
boolean	ExtensionalDB.isEmpty(String p)	Is the relation for predicate empty?
long[]	BaseRelation.isOverwrittenByTuple(long[] tuple)	returns the tuple which will be overwritten by tuple.
void	TupleEnumerator.nextElement()	creates the next element in the buffer
long[]	BaseRelation.overwriteTuple(long[] tuple)	Overwrite last argument of tuple.
TupleBuffer	BaseRelation.overwriteTuple(TupleBuffer tuple)	Overwrite last argument of tuple.
void	Relation.readBinaryFromBackup(String filepath)	read tuples from a binary backup file
void	BaseRelation.readTupleFile(String filepath)	read tuples from a file in binary form
void	Relation.readTupleFile(String filepath)	read tuples from a (compressed) binary file
void	ExtensionalDB.removeRelation(String predicate)	removes all relations for predicate p
boolean	BaseRelation.removeTuple(int tuple)	remove a tuple from the relation
boolean	BaseRelation.removeTuple(long[] tuple)	remove a tuple from the relation
boolean	BaseRelation.removeTuple(TupleBuffer tuple)	remove a tuple from the relation
void	ExtensionalDB.removeTupleFromIndices(String predicate, long[] codes, Object[] terms)	remove tuple from edb indices
Relation	Partitioning.search4Relation(TupleBuffer tuple, boolean create)	search for corresponding relation
void	BaseRelation.select()	initialize
void	Relation.select()	initialize it before using it
TupleEnumerator	Index.selectMatchingTuples(long[] values)	returns an enumerator for matching tuples
TupleEnumerator	Index.selectMatchingTuples(long[] values, TupleEnumerator it)	returns an enumerator for matching tuples reuse tuple enumerator
TupleEnumerator	Index.selectMatchingTuples(TupleBuffer values)	returns an enumerator for matching tuples
void	ExtensionalDB.selectMixedRelations()	load all mixed relations into RAM.
long	BaseRelation.size()	returns the number of tuples in relation
void	Relation.transactionBegin()	begin transaction
void	Relation.transactionCommit()	commit last changes
void	Relation.transactionRollback()	rbort last changes
void	BaseRelation.union(BaseRelation R)	add all tuples of R to this
void	BaseRelation.writeBinary(String filepath)	write tuples in binary form to file
void	Relation.writeBinary(String filepath)	write tuples to a binary file
void	Relation.writeBinaryToBackup(String filepath)	write tuples to a binary backup file
void	Relation.writeBinaryWithGrounds(String filepath)	write complete tuples to a binary file

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

Methods in com.semedy.reasoner.api.reasoning that throw EDBException

Modifier and Type	Method	Description
void	Receiver.addRelation(ReasoningRelation relation)	add a whole relation at the beginning
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	ReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)	upfront determining all relevant edb relations
void	DefaultReasoningMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DefaultReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	ReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)	Called before a built-in is executed (only for aggregations or connector built-ins)
void	DefaultReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	ReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)	Called before a join or negation is executed.
Receiver	Receiver.startTuples(Receiver source, boolean check4Duplicates)	start delivering single tuples

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

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

Modifier and Type	Method	Description
void	SymbolTable.clear()	remove all symbols
void	SymbolTable.commit()	commit transaction
long	SymbolTable.createFunctionCode(long[] t, Function f)	create function code
long	SymbolTable.encode(Object t)	Internalize a value.
long	SymbolTable.encodeWOEncoding(Object t)	Internalize a value.
void	SymbolTable.setBulkMode(boolean b)	for loading into an empty symbol table bulk mode should be used

Uses of EDBException in com.semedy.reasoner.app

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

Modifier and Type	Method	Description
ResultEnumerator	MultiResultEnumerator.cloneEnumerator()
void	DebuggingMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
boolean	APIMethods.createJson(String jsonS)	create a new json object
boolean	MultiResultEnumerator.hasFinished()
boolean	MultiResultEnumerator.hasMoreElements()
void	Foil.load()
void	MultiInterpreter.load()
void	MultiResultEnumerator.nextElement()
void	RestoreFromIndex.restore(String filename)

Constructors in com.semedy.reasoner.app that throw EDBException

Modifier	Constructor	Description
	DeleteDataTool()
	Foil()
	Load()

Uses of EDBException in com.semedy.reasoner.core

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

Modifier and Type	Method	Description
void	IntermediateResultProducer.addRelation(ReasoningRelation relation)
ResultEnumerator	ResultEnumeratorNotThreaded.cloneEnumerator()	clone the iterator
void	JsonMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
boolean	ResultEnumeratorNotThreaded.hasFinished()	Is the enumerator at the end?
boolean	ResultEnumeratorNotThreaded.hasMoreElements()	Are there more elements?
void	ResultEnumeratorNotThreaded.nextElement()	Move to next element (the next element is found in the buffer)
void	JsonTransactionLogHandler.playIn(String path, Core core)	Modify edb according to log file Path can be a single file or a directory
boolean	IntermediateResultProducer.receiveTuple(int tuple)
boolean	IntermediateResultProducer.receiveTuple(long[] tuple)
boolean	IntermediateResultProducer.receiveTuple(TupleBuffer tuple)
void	JsonThreadingTest.test()
void	JsonThreadingTest1.test()
void	JsonThreadingTest2.test()
void	DeductiveDatabaseTest.testLongTransaction()

Uses of EDBException in com.semedy.reasoner.edb

Methods in com.semedy.reasoner.edb that throw EDBException

Modifier and Type	Method	Description
void	Sum.evaluate(BuiltinReceiver receiver)
void	Sum.input(long[] input)
void	BPlusTreePerformanceTest.setUp()
void	TestCacheManagementBPlus.setUp()
void	MainMemoryRelationTest.testBasics()
void	MixedRelationTest.testBasics()
void	MixedRelationTest.testBasics()
void	PersistentRelationTest.testBasics()
void	PersistentRelationTest.testBasics()
void	PersistentRelationTest.testBasics1()
void	PersistentRelationTest.testBasics1()
void	PersistentRelationTest.testBasics2()
void	PersistentRelationTest.testBasics2()
void	TestCacheManagementBPlus.testCache1()
void	BPlusTreePerformanceTest.testIterator()
void	MainMemoryRelationTest.testLargeNumber()
void	MixedRelationTest.testLargeNumber()
void	MixedRelationTest.testLargeNumber()
void	PersistentRelationTest.testLargeNumber()
void	PersistentRelationTest.testLargeNumber()
void	MainMemoryRelationTest.testManyDuplicates()
void	MixedRelationTest.testManyDuplicates()
void	MixedRelationTest.testManyDuplicates()
void	PersistentRelationTest.testManyDuplicates()
void	PersistentRelationTest.testManyDuplicates()

Constructors in com.semedy.reasoner.edb that throw EDBException

Modifier	Constructor	Description
	MixedRelationTest()
	PersistentRelationTest()

Uses of EDBException in com.semedy.reasoner.edb.persistentstore

Methods in com.semedy.reasoner.edb.persistentstore that throw EDBException

Modifier and Type	Method	Description
void	PersistentSecondarySortedLoadConsumer.addToIndex(LongArrayList arraylist)
boolean	PersistentRelation.addTuple(int tuple)
boolean	PersistentRelation.addTuple(long[] tuple)
boolean	PersistentRelation.addTuple(TupleBuffer tuple)
void	PersistentSecondarySortedIndex.addTuple(long[] buffer)
void	PersistentSecondarySortedIndex.addTuple(TupleBuffer buffer)
void	PersistentRelation.bugLogMessage(String message)
void	PersistentRelation.checkNumbers(String message)
boolean	PersistentRelation.checkSanity(String message, boolean shadow)	check sanity of persistent relation
void	BplusBlob.clear()
void	BplusIndexBytes.clear()
void	BplusIndexJsons.clear()	clear store
void	BplusIndexLongs.clear()
static void	CacheManager.clear()	clear all lists.
static void	CacheManager2.clear()	clear all lists.
static void	CacheManager3.clear()	clear all lists.
static void	CacheManager4.clear()	clear all lists.
void	PersistentRelation.clear()
TupleEnumerator	EnumeratorOneElement.cloneEnumerator()
void	BulkLoadConsumer.close()
void	CombinedConsumer.close()
void	ExternalSortTuplesConsumer.close()
void	PersistentSecondarySortedIndex.close()	close the index file
void	PersistentSecondarySortedLoadConsumer.close()
void	SecondaryIndexWriter.close()
void	PersistentRelation.closeBulkLoad(BulkLoadConsumer consume)
void	BulkLoadConsumer.consume(byte[] tuple)
void	BulkLoadConsumer.consume(long[] tuple)
void	CombinedConsumer.consume(byte[] tuple)
void	ExternalSortTuplesConsumer.consume(byte[] tuple)
void	ExternalSortTuplesConsumer.consume(long[] tuple)
void	PersistentSecondarySortedLoadConsumer.consume(byte[] tuple)
void	PersistentSecondarySortedLoadConsumer.consume(long[] tuple)
void	SecondaryIndexWriter.consume(byte[] tuple)
long	PersistentRelation.count()
void	PersistentRelation.create()
Index	PersistentRelation.createIndex(int[] indexedpositions)
void	PersistentSecondarySortedIndex.createIndex(String logDir)
SortedIndex	PersistentRelation.createSortedIndex(int[] indexedpositions)
void	CacheUnit.destroy()	free up ressources at the end (CacheManager.clear)
TupleEnumerator	PersistentRelation.elements(long[] filter)
void	BplusBlob.flush()
void	BplusIndexLongs.flush(boolean shadow)
void	PersistentRelation.flush()
void	PersistentSecondarySortedIndex.flush()	flush the index file
void	PersistentRelation.forceClose()	Force closing (instead of closing is blocked)
BulkLoadConsumer	PersistentRelation.getBulkLoadConsumer()
com.semedy.reasoner.edb.persistentstore.PersistentRelation.IterativeLoadConsumer	PersistentRelation.getIterativeLoadConsumer()
long	PersistentRelation.getNumberOfDifferentValues(int position)
long	PersistentRelation.getNumberOfDifferentValues(int position, long value)
long	PersistentRelation.getNumberOfMatchingTuples(int[] arguments, long[] values)
long	PersistentRelation.getNumberOfTuples(int position, long term)
void	BplusIndexJsons.importJsons(String path)	import jsons from file
void	CombinedConsumer.init()
void	ExternalSortTuplesConsumer.init()
boolean	TupleFile.isEmpty()	Is the tuple file empty, i.e. contains no tuples.
static void	ExternalSortTuples.mergeFiles(List<File> files, int tuplelength, ExternalSortTuplesConsumer consumer)	merge a list of sorted tuple files (uncompressed) to one sorted file
static void	ExternalSortTuples.mergeFilesZipped(List<File> files, int tuplelength, ExternalSortTuplesConsumer consumer)	merge a list of sorted tuple files compressed to one sorted file
static void	ExternalSortTuples.mergeIndexed(List<TupleFile> files, int tuplelength, int[] indexedPositions, ExternalSortTuplesConsumer consumer)	merge several sorted files along indexed positions
static void	ExternalSortTuples.mergeNSubtract(List<TupleFile> files, int tuplelength, TupleFile fileToSubtract, ExternalSortTuplesConsumer consumer)	merge a list of sorted files to one sorted file and subtract the tuples in toSubtract
static void	ExternalSortTuples.mergeTupleFiles(List<TupleFile> files, int tuplelength, ExternalSortTuplesConsumer consumer)	merge a list of sorted tuple files (compressed) to one sorted file
void	PersistentRelation.open()
void	PersistentSecondarySortedIndex.open()
long[]	PersistentRelation.overwriteTuple(long[] tuple)	Overwrite last argument of tuple.
TupleBuffer	PersistentRelation.overwriteTuple(TupleBuffer tuple)
long	BplusBlob.put(long key, byte[] data)
long	BplusIndexBytes.put(byte[] key, byte[] data, boolean shadow)
long	BplusIndexJsons.put(String key, String data)	add json with key key to store
long	BplusIndexLongs.put(long[] key, byte[] data, boolean shadow)
long	BplusIndexLongs.put(long[] key, long[] dat, boolean shadow)
long	BplusBlob.putCompressed(long key, byte[] compressedData, int originalLength)
long	BplusIndexLongs.putCompressed(long[] key, byte[] compressedData, int originalLength, boolean shadow)
void	PersistentRelation.readBinaryFromBackup(String filepath)
void	PersistentRelation.readBinaryRewrite(String datafilepath)	read binary tuple file into empty!
void	BplusIndexJsons.readJsonFromStream(InputStream in)	read jsons from stream
void	PersistentRelation.readTupleFile(String datafilepath)
abstract void	AbstractCacheUnit.release()	Cache management calls this method to release the cache unit.
void	CacheUnit.release()	Cache management calls this method to release the cache unit.
static void	CacheManager.releaseAll()	release all listed units
static void	CacheManager2.releaseAll()	release all listed units
static void	CacheManager3.releaseAll()	release all listed units
static void	CacheManager4.releaseAll()	release all listed units
static void	CacheManager.releaseAllBPlusNodes()	release all listed units
static void	CacheManager4.releaseAllBPlusNodes()	release all listed units
boolean	BplusBlob.remove(long key)
void	BplusIndexBytes.remove(byte[] key, boolean shadow)
boolean	BplusIndexJsons.remove(String key)
void	BplusIndexLongs.remove(long[] key, boolean shadow)
boolean	PersistentRelation.removeTuple(int tuple)
boolean	PersistentRelation.removeTuple(long[] tuple)
boolean	PersistentRelation.removeTuple(TupleBuffer tuple)
void	PersistentSecondarySortedIndex.removeTuple(long[] tuple)
void	PersistentSecondarySortedIndex.removeTuple(TupleBuffer tuple)
boolean	PersistentSecondarySortedIndex.replaceNotIndexedValues(long[] oldTuple, long[] newTuple)	Modify tuple in index at non indexed positions.
boolean	PersistentSecondarySortedIndex.replaceNotIndexedValues(TupleBuffer oldTuple, TupleBuffer newTuple)	Modify tuple in index at non indexed positions.
void	BplusBlob.setBulkMode(boolean mode)
void	BplusIndexBytes.setBulkMode(boolean mode)
void	BplusIndexLongs.setBulkMode(boolean mode)
void	TupleFile.sortElements(ExternalSortTuplesConsumer consumer, String tempDir)	Sort the tuples.
void	TupleFile.sortElements(String tempDir)	Sort elements in tuple file.
void	TupleFile.sortElementsIndexed(ExternalSortTuplesConsumer consumer, int[] indexedPositions, String tempDir)	Sort elements according to the indexed positions.
static List<File>	ExternalSortTuples.sortFile(File file, int tuplesize, File tempdir)	sort an (uncompressed) tuple file
static List<File>	ExternalSortTuples.sortFileZipped(File file, int tuplesize, File tempdir)	sort a compressed tuple file
static List<TupleFile>	ExternalSortTuples.sortIndexed(TupleEnumerator enm, int tuplesize, int[] indexedPositions, File tempdir)	sort tuples along indexed positions
static List<TupleFile>	ExternalSortTuples.sortIndexed(TupleFile file, int tuplesize, int[] indexedPositions, File tempdir)	sort a tuple file along indexed positions
static List<TupleFile>	ExternalSortTuples.sortTupleFile(TupleFile file, int tuplesize, File tempdir)	sort a (compressed) tuple file
static void	ExternalSortTuples.subtract(TupleFile fileToSubtractFrom, TupleFile fileToSubtract, int tuplelength, ExternalSortTuplesConsumer consumer)	subtract a sorted file from another sorted file
void	PersistentRelation.subtractRelation(Relation R)
void	CacheUnit.touch()	touch a cache unit.
void	PersistentRelation.transactionBegin()
void	BplusBlob.transactionCommit()
void	BplusIndexBytes.transactionCommit()
void	BplusIndexJsons.transactionCommit()	commit transaction
void	BplusIndexLongs.transactionCommit()
void	PersistentRelation.transactionCommit()
void	PersistentSecondarySortedIndex.transactionCommit()
void	PersistentRelation.transactionRollback()
void	PersistentRelation.union(BaseRelation R)
void	TupleFile.union(TupleFile T)	add all tuples from T into this
void	PersistentRelation.unionRelation(Relation R)
void	PersistentRelation.writeBinary()
void	PersistentRelation.writeBinary(String filepath)
void	PersistentRelation.writeBinaryToBackup(String filepath)
void	PersistentRelation.writeBinaryWithGrounds(String filepath)

Constructors in com.semedy.reasoner.edb.persistentstore that throw EDBException

Modifier	Constructor	Description
	BplusBlob(int nodesize, String dir, String name, String endtreefile, String enddatafile, boolean compress)
	BplusIndexBytes(int pagesize, String dir, String name, String endtreefile, String enddatafile, boolean compress)
	BplusIndexJsons(int pagesize, String dir, String name, String endtreefile, String enddatafile, boolean compress)
	BplusIndexLongs(int keyLength, int nodesize, String dir, String name, String endtreefile, String enddatafile, boolean compress, int additionalHeaderLength)
	BulkLoadConsumer(BPlusTree<long[],TupleBuffer> btree, int arity, int[] toCopyOut, int[] directEncodedArguments)
	SecondaryIndexWriter(PersistentRelation ptuples, PersistentSecondarySortedIndex index)

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

Methods in com.semedy.reasoner.edb.persistentstore.bplustree that throw EDBException

Modifier and Type	Method	Description
boolean	BPlusTree.addKey(KeyType key, boolean shadow)	Add a key (without a value)
boolean	BPlusTree.addKey(KeyType key, long value, boolean shadow)	Inserting a record into the tree.
void	BPlusNodeLongTest2.borrowLeafRight()
void	BPlusTree.bulkAddKey(KeyType key, long record, boolean shadow)	bulk add a new record
void	BplusDataFile.clear()	clear all
void	DataFile.clear()	clear file
void	DataFileImp.clear()	clear file
void	JsonFile.clear()
void	SimpleDataFile.clear()
void	BplusDataFile.create()	Create a file.
void	BPlusTree.create()	create a new bplus tree Existing file is overwritten
void	BPlusTreeFile.create()	create file
void	DataFile.create()	Create a file.
void	DataFileImp.create()	Create a file.
void	SimpleDataFile.create()
void	BPlusTree.finishBulkLoading()	close bulk loading mode
void	BPlusTree.flushDirtyNodes()	Flushing dirty nodes to file
void	BPlusNodeLongTest2.mergeLeafRight()
void	BPlusTreeLongTest.nextkey()
void	BPlusTreeLongTest.nextkey()
boolean	BplusDataFile.open()	Open an existing file.
boolean	BPlusTree.open()	open an existing bplus tree
boolean	BPlusTreeFile.open()	open file
boolean	BPlusTree.removeKey(KeyType key, boolean shadow)	Removes the record from the tree.
boolean	BPlusTree.setRecord(KeyType key, long value, boolean shadow)	Set the record for a given key.
void	BplusDataFileTest.setUp()
void	BPlusTreeBytesFixedLengthTest.setUp()
void	BPlusTreeBytesTest.setUp()
void	BPlusTreeLongPerformanceTest.setUp()
void	BPlusTreeLongTest.setUp()
void	BPlusTree.startBulkLoading()	Start bulk loading.
void	BPlusNodeLongTest2.test()
void	BplusDataFileTest.test1()
void	BplusDataFileTest.test2()
void	BplusDataFileTest.test3()
void	BplusDataFileTest.test4()
void	BPlusNodeLongTest2.testBorrowLeafLeft()
void	BPlusNodeLongTest2.testBorrowLeafRight()
void	BPlusTreeBytesFixedLengthTest.testBulk0()
void	BPlusTreeBytesFixedLengthTest.testBulk1()
void	BPlusTreeBytesTest.testBulk1()
void	BPlusTreeLongTest.testBulk1()
void	BPlusTreeBytesFixedLengthTest.testBulk2()
void	BPlusTreeBytesFixedLengthTest.testBulk2()
void	BPlusTreeBytesTest.testBulk2()
void	BPlusTreeBytesTest.testBulk2()
void	BPlusTreeLongTest.testBulk2()
void	BPlusTreeLongTest.testBulk2()
void	BPlusTreeBytesFixedLengthTest.testBulk3()
void	BPlusTreeBytesFixedLengthTest.testBulk3()
void	BPlusTreeBytesTest.testBulk3()
void	BPlusTreeBytesTest.testBulk3()
void	BPlusTreeLongTest.testBulk3()
void	BPlusTreeLongTest.testBulk3()
void	BPlusTreeBytesFixedLengthTest.testBulk4()
void	BPlusTreeBytesFixedLengthTest.testBulk4()
void	BPlusTreeBytesTest.testBulk4()
void	BPlusTreeBytesTest.testBulk4()
void	BPlusTreeLongTest.testBulk4()
void	BPlusTreeLongTest.testBulk4()
void	BPlusTreeBytesFixedLengthTest.testCloseOpen()
void	BPlusTreeBytesFixedLengthTest.testCloseOpen()
void	BPlusTreeBytesTest.testCloseOpen()
void	BPlusTreeBytesTest.testCloseOpen()
void	BPlusTreeLongTest.testCloseOpen()
void	BPlusTreeLongTest.testCloseOpen()
void	BPlusTreeBytesFixedLengthTest.testDelete()
void	BPlusTreeBytesTest.testDelete1()
void	BPlusTreeBytesTest.testDelete1()
void	BPlusTreeLongTest.testDelete1()
void	BPlusTreeLongTest.testDelete1()
void	BPlusTreeBytesTest.testDelete2()
void	BPlusTreeBytesTest.testDelete2()
void	BPlusTreeLongTest.testDelete2()
void	BPlusTreeLongTest.testDelete2()
void	BPlusTreeLongTest.testDelete3()
void	BPlusTreeLongTest.testDelete3()
void	BPlusTreeLongTest.testDelete4()
void	BPlusTreeLongTest.testDelete4()
void	BPlusTreeLongTest.testDelete5()
void	BPlusTreeLongTest.testDelete5()
void	BPlusTreeLongTest.testDelete6()
void	BPlusTreeLongTest.testDelete6()
void	BPlusTreeLongTest.testDelete7()
void	BPlusTreeLongTest.testDelete7()
void	BPlusTreeLongTest.testDelete8()
void	BPlusTreeLongTest.testDelete8()
void	BPlusTreeLongTest.testDelete9()
void	BPlusTreeLongTest.testDelete9()
void	BPlusTreeBytesFixedLengthTest.testDeleteAll()
void	BPlusTreeBytesFixedLengthTest.testDeleteRoot()
void	BPlusTreeBytesTest.testDeleteRoot()
void	BPlusTreeLongTest.testDeleteRoot()
void	BPlusTreeBytesFixedLengthTest.testInsert1()
void	BPlusTreeBytesTest.testInsert1()
void	BPlusTreeBytesTest.testInsert1()
void	BPlusTreeLongTest.testInsert1()
void	BPlusTreeLongTest.testInsert1()
void	BPlusTreeBytesFixedLengthTest.testInsert1a()
void	BPlusTreeLongTest.testInsert1b()
void	BPlusTreeLongTest.testInsert1b()
void	BPlusTreeBytesFixedLengthTest.testInsert2()
void	BPlusTreeBytesTest.testInsert2()
void	BPlusTreeBytesTest.testInsert2()
void	BPlusTreeLongTest.testInsert2()
void	BPlusTreeLongTest.testInsert2()
void	BPlusTreeLongTest.testInsert3()
void	BPlusTreeLongTest.testInsert3()
void	BPlusTreeBytesTest.testIterator()
void	BPlusTreeBytesTest.testIterator()
void	BPlusTreeLongPerformanceTest.testIterator()
void	BPlusTreeLongTest.testIterator()
void	BPlusTreeLongTest.testIterator()
void	BPlusTreeBytesTest.testIterator2()
void	BPlusTreeBytesTest.testIterator2()
void	BPlusNodeLongTest2.testMergeInternalLeft0()
void	BPlusNodeLongTest2.testMergeInternalLeft1()
void	BPlusTreeLongPerformanceTest.testReload1()
void	BPlusTreeLongPerformanceTest.testReload1a()
void	BPlusTreeLongPerformanceTest.testReload2()
void	BPlusNodeLongTest2.testSimpleDelete()
void	BPlusTree.transactionCommit()
int	BPlusTreeFile.writeInternalNode(BPlusInternalNode<KeyType,KeyBufferType> toWrite, int offset)	write an internal node at offset
int	BPlusTreeFile.writeLeaf(BPlusLeaf<KeyType,KeyBufferType> toWrite, int offset)	write a leaf at offset
long	BPlusTreeFile.writeNewInternalNode(BPlusInternalNode<KeyType,KeyBufferType> toWrite)	Writes a new internal node to the end of the file.
int	BPlusTreeFile.writeNewLeaf(BPlusLeaf<KeyType,KeyBufferType> toWrite)	Writes a new leaf to the end of the file.

Constructors in com.semedy.reasoner.edb.persistentstore.bplustree that throw EDBException

Modifier	Constructor	Description
	BPlusTreeFile(String filename, int m, int keyLengthInBytes, int nodeLengthInBytes, KeysFactory<KeyType,KeyBufferType> keysFactory, LeafFactory<KeyType,KeyBufferType> leafFactory, BPlusTree<KeyType,KeyBufferType> bplustree, int additionalHeadSpace, boolean compress)	General constructor.

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

Methods in com.semedy.reasoner.edb.ramstore that throw EDBException

Modifier and Type	Method	Description
boolean	MainMemoryRelation.addTuple(int tuple)
boolean	MainMemoryRelation.addTuple(long[] tuple)
boolean	MainMemoryRelation.addTuple(TupleBuffer tuple)
boolean	MixedRelation.addTuple(long[] tuple)
boolean	MixedRelation.addTuple(TupleBuffer buf)
boolean	MainMemoryRelation.checkSanity(String message, boolean shadow)
boolean	MixedRelation.checkSanity(String message, boolean shadow)
void	MainMemoryBaseRelation.clear()
void	MainMemoryRelation.clear()
void	MixedRelation.clear()
long	MixedRelation.count()
Index	MainMemoryBaseRelation.createIndex(int[] indexedPositions)
Index	MainMemoryRelation.createIndex(int[] indexedpositions)
SortedIndex	MainMemoryBaseRelation.createSortedIndex(int[] indexedPositions)
SortedIndex	MainMemoryRelation.createSortedIndex(int[] indexedpositions)
TupleEnumerator	MainMemoryBaseRelation.elements(long[] filter)
TupleEnumerator	MainMemoryRelation.elements()
TupleEnumerator	MainMemoryRelation.elements(long[] filter)
void	MainMemoryRelation.flush()
void	MixedRelation.flush()
long	MainMemoryRelation.getMaxValue(int argument)
long	MixedRelation.getMaxValue(int argument)
long	MainMemoryRelation.getMinValue(int argument)
long	MixedRelation.getMinValue(int argument)
long	MainMemoryRelation.getNumberOfDifferentValues(int argument)
long	MainMemoryRelation.getNumberOfDifferentValues(int argument, long value)
long	MainMemorySubRelation.getNumberOfDifferentValues(int argument)
long	MainMemorySubRelation.getNumberOfDifferentValues(int argument, long value)
long	MixedRelation.getNumberOfDifferentValues(int argument)
long	MixedRelation.getNumberOfDifferentValues(int argument, long value)
long	AVLTree.getNumberOfMatchingTuples(long[] values)
long	HashIndex.getNumberOfMatchingTuples(long[] values)
long	InvertedList.getNumberOfMatchingTuples(long[] values)
boolean	HashIndex.hasSelectMatchingTuples(TupleBuffer values)
long[]	MainMemoryBaseRelation.isOverwrittenByTuple(long[] tuple)
long[]	MainMemoryRelation.isOverwrittenByTuple(long[] buffer)
long[]	MainMemoryBaseRelation.overwriteTuple(long[] tuple)
TupleBuffer	MainMemoryBaseRelation.overwriteTuple(TupleBuffer tuple)
long[]	MainMemoryRelation.overwriteTuple(long[] buffer)
TupleBuffer	MainMemoryRelation.overwriteTuple(TupleBuffer buffer)
void	MainMemoryRelation.readBinaryFromBackup(String filepath)
void	MainMemoryBaseRelation.readTupleFile(String filepath)
void	MainMemoryRelation.readTupleFile(String filepath)
void	MixedRelation.readTupleFile(String filepath)
void	MixedRelation.release()	Cache management calls this method to release the cache unit.
boolean	MainMemoryRelation.removeTuple(int tuple)
boolean	MainMemoryRelation.removeTuple(long[] buffer)
boolean	MainMemoryRelation.removeTuple(TupleBuffer buffer)
boolean	MixedRelation.removeTuple(long[] buf)
boolean	MixedRelation.removeTuple(TupleBuffer buf)
void	MainMemoryRelation.select()
void	MainMemorySubRelation.select()
void	MixedRelation.select()	intialize the use: the tuples are copied from the persistent part to the main memory part
long	MainMemoryRelation.size()
long	MainMemorySubRelation.size()
long	MixedRelation.size()
void	MixedRelation.touch()	touch a cache unit.
void	MainMemoryRelation.transactionBegin()
void	MixedRelation.transactionBegin()
void	MainMemoryRelation.transactionCommit()
void	MixedRelation.transactionCommit()
void	MainMemoryRelation.transactionRollback()
void	MixedRelation.transactionRollback()
void	MainMemoryBaseRelation.union(BaseRelation R)
void	MainMemoryRelation.union(BaseRelation R)
void	MainMemoryBaseRelation.writeBinary(String filepath)
void	MainMemoryRelation.writeBinary(String filepath)
void	MainMemoryRelation.writeBinaryToBackup(String filepath)
void	MainMemoryRelation.writeBinaryWithGrounds(String filepath)

Constructors in com.semedy.reasoner.edb.ramstore that throw EDBException

Modifier	Constructor	Description
	MainMemorySubRelation(List<Relation> relations, long[] filter, int arity, long[] grounds)

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

Constructors in com.semedy.reasoner.edb.zdb that throw EDBException

Modifier	Constructor	Description
	Schemas(ExtensionalDB edb, SymbolTable symbols)

Uses of EDBException in com.semedy.reasoner.exercises

Methods in com.semedy.reasoner.exercises that throw EDBException

Modifier and Type	Method	Description
void	Mean.evaluate(BuiltinReceiver receiver)
void	FilterB.init(Object[] args)
static void	Exercise1.main(String[] args)
static void	Exercise1a.main(String[] args)

Uses of EDBException in com.semedy.reasoner.induction

Constructors in com.semedy.reasoner.induction that throw EDBException

Modifier	Constructor	Description
	RuleInduction(Relation positiveExamples, Relation negativeExamples, String headPredicate, List<String> bodyPredicates, Core core)

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

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

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
void	EDBCollectionAdapter.transactionCommit()

Uses of EDBException in com.semedy.reasoner.reasoning

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

Modifier and Type	Method	Description
void	TestMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	CrossProductRelationTest.test1()
void	CrossProductRelationTest.test1a()
void	CrossProductRelationTest.test2()
void	CrossProductRelationTest.test3()
void	CrossProductRelationTest.test4()
void	CrossProductRelationTest.test5()
void	CrossProductRelationTest.test6()
void	CrossProductRelationTest.test7()
void	CrossProductRelationTest.test8()
void	CrossProductRelationTest.test9()
boolean	AbstractTestTemplate.testFile(Reader is, String path, boolean topdown, Configuration.StorageType storage, boolean symboltableondisc, boolean directencoded)

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

Methods in com.semedy.reasoner.reasoning.monitor that throw EDBException

Modifier and Type	Method	Description
boolean	RelationAdapter.addTuple(int tupleaddress)
boolean	RelationAdapter.addTuple(long[] tuple)
boolean	RelationAdapter.addTuple(TupleBuffer terms)
void	RelationAdapter.clear()
void	RelationAdapter.close()
void	DefaultReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
Index	RelationAdapter.createIndex(int[] indexedpositions)
SortedIndex	RelationAdapter.createSortedIndex(int[] indexedpositions)
TupleEnumerator	ReasoningMonitorRelation.elements()
TupleEnumerator	RelationAdapter.elements()
TupleEnumerator	RelationAdapter.elements(long[] filter)
long	ReasoningMonitorRelation.getNumberOfMatchingTuples(int[] arguments, long[] values)
long	RelationAdapter.getNumberOfMatchingTuples(int[] arguments, long[] values)
long[]	RelationAdapter.isOverwrittenByTuple(long[] buffer)
long[]	RelationAdapter.overwriteTuple(long[] buffer)
TupleBuffer	RelationAdapter.overwriteTuple(TupleBuffer buffer)
void	DefaultReasoningMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DefaultReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	DefaultReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
boolean	RelationAdapter.removeTuple(int tupleaddress)
boolean	RelationAdapter.removeTuple(long[] buffer)
boolean	RelationAdapter.removeTuple(TupleBuffer buffer)
long	RelationAdapter.size()
void	RelationAdapter.transactionBegin()

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

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

Modifier and Type	Method	Description
void	BufferedStore.addRelation(ReasoningRelation R)
void	EmptyStore.addRelation(ReasoningRelation R)
void	Process.addRelation(ReasoningRelation tuples)	add a releation at the beginning
void	ProcessImp.addRelation(ReasoningRelation tuples)
void	Store.addRelation(ReasoningRelation R)	add a relation (at the beginning)
void	SynchronizedBufferedStore.addRelation(ReasoningRelation R)
void	UnbufferedStore.addRelation(ReasoningRelation R)
boolean	ReasoningRelation.addTuple(int tupleaddress)
boolean	ReasoningRelation.addTuple(long[] tuple)
boolean	ReasoningRelation.addTuple(TupleBuffer tuple)
boolean	SwappableIncrementalRelation.addTuple(int tuple)
boolean	SwappableIncrementalRelation.addTuple(long[] tuple)
boolean	SwappableIncrementalRelation.addTuple(TupleBuffer tuple)
boolean	SwappableRelation.addTuple(int tuple)	add a tuple
boolean	SwappableRelation.addTuple(long[] tuple)	add a tuple
boolean	SwappableRelation.addTuple(TupleBuffer tuple)	add a tuple
boolean	SwappableIncrementalRelation.addTupleMM(long[] tuple)
boolean	SwappableIncrementalRelation.addTupleMM(TupleBuffer tuple)
boolean	SwappableIncrementalRelation.addTupleP(long[] tuple)
boolean	SwappableIncrementalRelation.addTupleP(TupleBuffer tuple)
void	RuleCompiler.attachToEDB()	attach process net to central edb
void	RuleCompiler.attachToEDB(ExtensionalDB[] edbs)	attach process net to edb
JoinStatistics	ReasoningRelation.blockJoin(InterruptFlag interrupt, ReasoningRelation[] relations)
long	BufferedStore.bufferedSize()
void	ReasoningRelation.clear()
TupleEnumerator	SortedEnumeratorOneToOne.cloneEnumerator()
TupleEnumerator	SortedIndexEnumeratorOneToOne.cloneEnumerator()
void	ReasoningSymbolTableNotInternalize.commit()
void	StatisticsCollector.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
void	SystemReasoningMonitor.considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)
long	ReasoningSymbolTableNotInternalize.createFunctionCode(long[] t, Function f)
Index	CrossProductBaseRelation.createIndex(int[] indexedPositions)
Index	OneToOneBaseRelation.createIndex(int[] indexedPositions)
SortedIndex	CrossProductBaseRelation.createSortedIndex(int[] indexedpositions)
SortedIndex	OneToOneBaseRelation.createSortedIndex(int[] indexedPositions)
void	CachedJoinResult.destroy()
TupleEnumerator	CrossProductBaseRelation.elements()
TupleEnumerator	CrossProductBaseRelation.elements(long[] filter)
TupleEnumerator	OneToOneBaseRelation.elements()
TupleEnumerator	OneToOneBaseRelation.elements(long[] filter)
TupleEnumerator	ReasoningRelation.elements()
long	ReasoningSymbolTableNotInternalize.encodeWOEncoding(Object t)
void	CacheInfo.exchangeRelation(ReasoningRelation T, ReasoningRelation Ts)
List<ReasoningRelation>	ResultReceiver.getAllReceivedTuples()
List<ReasoningRelation>	ResultReceiver.getAllReceivedTuples(boolean duplicatesEliminated)	return a list of all received tuples
List<ReasoningRelation>	BufferedStore.getAllTuples()
List<ReasoningRelation>	EmptyStore.getAllTuples()
List<ReasoningRelation>	Store.getAllTuples()
ReasoningRelation	SwappableIncrementalRelation.getAllTuples()
List<ReasoningRelation>	UnbufferedStore.getAllTuples()
ReasoningRelation	BufferedStore.getAllTuplesInOne()
ReasoningRelation	UnbufferedStore.getAllTuplesInOne()
long	CrossProductBaseRelation.getMaxValue(int argument)
long	CrossProductBaseRelation.getMinValue(int argument)
long	CrossProductBaseRelation.getNumberOfDifferentValues(int argument)
List<ReasoningRelation>	ResultReceiver.getResults(boolean duplicatesEliminated)
List<TupleEnumerator>	ResultReceiver.getResultsIterators(boolean duplicatesEliminated)	return a list of all received tuples
boolean	SortedEnumeratorOneToOne.hasFinished()
boolean	SortedIndexEnumeratorOneToOne.hasFinished()
boolean	TupleEnumeratorCrossProduct.hasFinished()
boolean	TupleEnumeratorOneToOneJoinRelation.hasFinished()
boolean	SortedEnumeratorOneToOne.hasMoreElements()
boolean	SortedIndexEnumeratorOneToOne.hasMoreElements()
boolean	TupleEnumeratorCrossProduct.hasMoreElements()
boolean	TupleEnumeratorOneToOneJoin.hasMoreElements()
boolean	TupleEnumeratorOneToOneJoinRelation.hasMoreElements()
List<ReasoningRelation>	EmptyStore.incrementalRelations()
List<ReasoningRelation>	Store.incrementalRelations()
List<ReasoningRelation>	UnbufferedStore.incrementalRelations()
long	UnbufferedStore.incrementalSize()
void	CacheInfo.invalidateDependent()
boolean	ReasoningRelation.isEmpty()	is relation empty
void	SortedEnumeratorOneToOne.nextElement()
void	SortedIndexEnumeratorOneToOne.nextElement()
void	TupleEnumeratorCrossProduct.nextElement()
void	TupleEnumeratorOneToOneJoin.nextElement()
void	TupleEnumeratorOneToOneJoinRelation.nextElement()
void	TupleEnumeratorCrossProduct.nextElementIntern()
void	StatisticsCollector.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	SystemMonitor.postJoin(String queryKey, Rule rule, Literal body, Literal originalLiteral, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, long sentTuples, String joinType)
void	SystemReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	SystemReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	ReasoningRelation.project(int[] map, int newArity)	project to selected arguments E.g. if map = [2,1] this means that argument at position 2 gets mapped to position 0 and argument at position 1 gets mapped to argument at position 1
List<ReasoningRelation>	EmptyStore.relations()
List<ReasoningRelation>	Store.relations()
List<ReasoningRelation>	UnbufferedStore.relations()
void	CachedJoinResult.release()
void	SwappableBufferedIncrementalRelation.release()
void	SwappableRelation.release()	swap out.
void	CacheInfo.remove()	Remove cached result and all dependent from all occurences
boolean	ReasoningRelation.removeTuple(int tupleaddress)
boolean	ReasoningRelation.removeTuple(long[] tuple)
boolean	ReasoningRelation.removeTuple(TupleBuffer tuple)
void	CrossProductBaseRelation.select()
void	ReasoningSymbolTableNotInternalize.setBulkMode(boolean b)
long	BufferedStore.size()
long	CrossProductBaseRelation.size()
long	EmptyStore.size()
long	OneToOneBaseRelation.size()
long	ReasoningRelation.size()
long	ReasoningTuplesKey.size()
long	Store.size()
long	SwappableBufferedIncrementalRelation.size()
long	SwappableIncrementalRelation.size()
long	SwappableRelation.size()	number of tuples
long	UnbufferedStore.size()
Receiver	EmptyStore.startTuples(Receiver source, boolean check4Duplicates)
Receiver	Encoder.startTuples(Receiver source, boolean check4Duplicates)
Receiver	ProcessImp.startTuples(Receiver source, boolean check4Duplicates)
Receiver	Scatter.startTuples(Receiver source, boolean check4Duplicates)
Receiver	SetConstants.startTuples(Receiver source, boolean check4Duplicates)
Receiver	Store.startTuples(Receiver source, boolean check4Duplicates)	a process which delivers single tuples starts
Receiver	UnbufferedStore.startTuples(Receiver source, boolean check4Duplicates)
void	SwappableBufferedIncrementalRelation.storeBuffer()
void	SwappableBufferedIncrementalRelation.storeBufferMM()
void	SwappableIncrementalRelation.storeIncremental()
ReasoningRelation	SwappableRelation.swapout(TupleFile tupleFile)	swapout and return it as (persistent) reasoning relation
void	SwappableBufferedIncrementalRelation.swapOut()
void	SwappableBufferedIncrementalRelation.swapOut(TupleFile tupleFile)
void	SwappableIncrementalRelation.swapOut()
void	SwappableIncrementalRelation.swapOut(TupleFile tupleFile)
void	SwappableRelation.swapOut()	swap out to temp dir
void	SwappableRelation.swapOut(TupleFile tupleFile)	swap out to tuple file
TupleFile	SwappableBufferedIncrementalRelation.swapOutToTupleFile()
TupleFile	SwappableIncrementalRelation.swapOutToTupleFile()
TupleFile	SwappableRelation.swapOutToTupleFile()	Swap out to a tuple file with a generic name in temp directory
void	CrossProductBaseRelation.union(BaseRelation R)
void	ReasoningRelation.union(ReasoningRelation tuples)
void	CrossProductBaseRelation.writeBinary(String filepath)

Constructors in com.semedy.reasoner.reasoning.processes that throw EDBException

Modifier	Constructor	Description
	CachedJoinResult(ReasoningRelation R)
	ReasoningRelation(Relation T, String p, ReasoningMonitor monitor, boolean streamReasoningWithRetracts)	create a reasoning relation out of an edb relation
	TopDownTrigger(InterruptFlag interruptflag, Literal topLiteral, Literal magic, ReasoningMonitor monitor, boolean cepReasoning)
	TupleEnumeratorCrossProduct(CrossProductBaseRelation crossProductBaseRelation)
	TupleEnumeratorCrossProduct(CrossProductBaseRelation crossProductBaseRelation, TupleEnumerator[] enumerators)
	TupleEnumeratorCrossProduct(CrossProductBaseRelation crossProductBaseRelation, TupleEnumerator enm1, int argumentPosition1, TupleEnumerator enm2, int argumentPosition2)
	TupleEnumeratorOneToOneJoin(OneToOneBaseRelation crossProductBaseRelation, TupleEnumerator[] enumerators, Index[] nullIndices)
	TupleEnumeratorOneToOneJoinRelation(OneToOneBaseRelation relation)

Uses of EDBException in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter that throw EDBException

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(Object module, SymbolTable symbols, ExternalDataTypeProvider datatypes, int i)

Uses of EDBException in com.semedy.reasoner.symboltable

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

Modifier and Type	Method	Description
void	MultiSymbolTable.clear()
void	SymbolTableBplus.clear()
void	MultiSymbolTable.commit()
void	ReasoningSymbolTableRAM.commit()
void	SymbolTableBplus.commit()
void	SymbolTableRAM.commit()
abstract long	AbstractSymbolTable.createFunctionCode(long[] t, Function f)	create function code
long	MultiSymbolTable.createFunctionCode(long[] t, Function f)
final long	SymbolTableBplus.createFunctionCode(long[] buffer, Function f)
abstract long	AbstractSymbolTable.encodeNotInternalize(Object t)
long	MultiSymbolTable.encodeNotInternalize(Object t)
long	SymbolTableRAM.encodeNotInternalize(Object t)
long	MultiSymbolTable.encodeWOEncoding(Object t)
long	ReasoningSymbolTableRAM.encodeWOEncoding(Object t)
long	SymbolTableBplus.encodeWOEncoding(Object t)
long	SymbolTableRAM.encodeWOEncoding(Object t)
long	AbstractSymbolTable.getCode(Object t)	search for code of a term
void	MultiSymbolTable.setBulkMode(boolean b)
void	ReasoningSymbolTableRAM.setBulkMode(boolean b)
void	SymbolTableBplus.setBulkMode(boolean bulk)
void	SymbolTableRAM.setBulkMode(boolean b)

Constructors in com.semedy.reasoner.symboltable that throw EDBException

Modifier	Constructor	Description
	MultiSymbolTable(int number, ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)
	SymbolTableBplus(int index, ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)
	SymbolTableBplus(ExternalDataTypeProvider dataTypes, boolean directencoding, String edbDir, String logDir, int termlength, boolean transactionLog, boolean compress)

Uses of EDBException in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils that throw EDBException

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