Uses of Class
com.semedy.reasoner.api.reasoning.ReasoningException

Packages that use ReasoningException

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.reasoning
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.app
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.core
com.semedy.reasoner.edb
com.semedy.reasoner.edb.persistentstore
com.semedy.reasoner.edb.ramstore
com.semedy.reasoner.exercises
com.semedy.reasoner.induction
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter

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

Methods in com.semedy.reasoner.api.builtin that throw ReasoningException

Modifier and Type	Method	Description
void	AbstractConnector.start(BitSet grounds, BuiltinReceiver receiver)
abstract void	CachedConnector.start(BitSet grounds, BuiltinReceiver receiver)
void	Connector.start(BitSet grounds, BuiltinReceiver receiver)	Start feeding the built-in with input values.
void	AbstractConnector.stop()

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

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

Modifier and Type	Method	Description
boolean	JSONDeductiveDatabase.addJsonObject(org.json.JSONObject json)	add a JSON object
boolean	JSONDeductiveDatabase.addJsonObject(org.json.JSONObject json, Object module)	add a JSON object
boolean	JSONDeductiveDatabase.addJsonObjects(String objects)	add a set of JSON objects, given as a Json array in a string.
boolean	JSONDeductiveDatabase.addJsonObjects(String objects, Object module)	add a set of JSON objects, given as a Json array in a string.
boolean	JSONDeductiveDatabase.addJsonObjects(Collection<org.json.JSONObject> objects)	add a set of JSON objects.
boolean	JSONDeductiveDatabase.addJsonObjects(Collection<org.json.JSONObject> objects, Object module)	add a set of JSON objects.
boolean	JSONDeductiveDatabase.addJsonObjects(org.json.JSONArray objects)	add a set of JSON objects given in a Json array
void	JSONDeductiveDatabase.exportJson(String path, Set<String> excludedProperties)	Export jsons into file
Object	ResultBufferThreaded.get(String variableName)	Get object with variable name.
List<String>	JSONDeductiveDatabase.getAvailableIdentifiers(List<String> identifiers)	Which of the given json identifiers are there?
List<String>	JSONDeductiveDatabase.getAvailableIdentifiers(List<String> identifiers, Configuration config, Properties builtinConfig)	Which of the given json identifiers are there?
List<String>	JSONDeductiveDatabase.getAvailableIdentifiers(List<String> identifiers, String module, Configuration config, Properties builtinConfig)	Which of the given json identifiers are there?
long	ResultBuffer.getCode(String variableName)	Get code with variable name.
long	ResultBufferThreaded.getCode(String variableName)	Get code with variable name.
boolean	JSONDeductiveDatabase.isIdentifierAvailable(String identifier)	Is this identifier for a json object there?
boolean	JSONDeductiveDatabase.isIdentifierAvailable(String identifier, Configuration config, Properties builtinConfig)	Is this identifier for a json object there?
boolean	JSONDeductiveDatabase.isIdentifierAvailable(String identifier, String module, Configuration config, Properties builtinConfig)	Is this identifier for a json object there?
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor)	Materialize queries.
List<Object[]>	TripleCache.query(DeductiveDatabase ddb, String ooquery, int maxNumberOfResults)	Retrieve triples using an OO-logic query.
List<Object[]>	TripleCache.query(DeductiveDatabase ddb, String ooquery, int maxNumberOfResults, boolean withCodes)	Retrieve triples using an OO-logic query.
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(Collection<String> identifiers)	query JSON objects using the json identifiers (@id) in module Json objects can be derived
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	query JSON objects using the json identifiers (@id) in module Json objects can be derived
List<org.json.JSONObject>	JSONDeductiveDatabase.queryJsonObjects(Collection<String> identifiers, Object module, Configuration config, Properties builtinConfig)	query JSON objects using the json identifiers (@id) in module Json objects can be derived
abstract void	EventResultReceiver.receiveResult(long[] result)	a new result has been received
abstract void	EventResultReceiver.receiveResult(TupleBuffer result)	a new result has been received
void	MaterializationReceiver.receiveResult(TupleBuffer result)	Receive a new result as a tuple of codes.
void	StoreEventResultReceiver.receiveResult(long[] result)	Receive a new result as a tuple of codes.
void	StoreEventResultReceiver.receiveResult(TupleBuffer result)	Receive a new result as a tuple of codes.
boolean	JSONDeductiveDatabase.removeJsonObject(String identifier)	Json object with given id (@id) is deleted
boolean	JSONDeductiveDatabase.removeJsonObject(String identifier, Configuration config, Properties builtinConfig)	Json object with given id (@id) is deleted
boolean	JSONDeductiveDatabase.removeJsonObjects(Collection<String> identifiers)	Json objects with given ids (@id) are deleted
boolean	JSONDeductiveDatabase.removeJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	Json objects with given ids (@id) are deleted
boolean	JSONDeductiveDatabase.removeJsonObjects(Collection<String> identifiers, String module, Configuration config, Properties builtinConfig)	Json objects with given ids (@id) are deleted
abstract void	EventResultReceiver.retractResult(long[] result)	a new result should be withdrawn
void	MaterializationReceiver.retractResult(long[] result)
void	StoreEventResultReceiver.retractResult(long[] result)	retract a result
org.json.JSONObject	JSONDeductiveDatabase.retrieveJsonObject(String identifier, Configuration config, Properties builtinConfig)	retrieve JSON object using the json identifier (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(String ooquery)	Retrieve JSON Objects using an OO-logic query and a module.
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(String ooquery, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(String ooquery, Properties builtinProperties)	Retrieve JSON Objects using an OO-logic query and a module.
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers)	retrieve JSON objects using the json identifiers (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, boolean initializeTransaction)	retrieve JSON objects using the json identifiers (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, boolean initializeTransaction, Properties builtinConfig)	retrieve JSON objects using the json identifiers (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig)	retrieve JSON objects using the json identifiers (@id)
List<org.json.JSONObject>	JSONDeductiveDatabase.retrieveJsonObjects(Collection<String> identifiers, Configuration config, Properties builtinConfig, boolean initializeTransaction)	retrieve JSON objects using the json identifiers (@id)
List<String>	JSONCache.retrieveJsons(JSONDeductiveDatabase jdb, String ooquery, int maxNumberOfResults, Properties builtinConfig)	Retrieve JSON Objects as strings using an OO-logic query.
ResultEnumerator	JSONDeductiveDatabase.retrieveJsons(String ooquery, int maxNumberOfResults, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
ResultEnumerator	JSONDeductiveDatabase.retrieveJsons(String ooquery, Configuration config, Properties builtinConfig)	Retrieve JSON Objects using an OO-logic query.
boolean	JSONDeductiveDatabase.validateJsonObjects(List<org.json.JSONObject> jsons, String schemaid)	Validate json objects against a stored schema with @id "schema". Returns true if the schema was available and it has been successfully validated.
boolean	JSONDeductiveDatabase.validateJsonObjects(List<org.json.JSONObject> jsons, String schemaid, Configuration config, Properties builtinConfig)	Validate json objects against a stored schema with @id "schema". Returns true if the schema was available and it has been successfully validated.
void	JSONDeductiveDatabase.validateJsonObjects(List<org.json.JSONObject> jsons, org.json.JSONObject schema, Properties builtinConfig)	Validate json objects against a schema.

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

Subclasses of ReasoningException in com.semedy.reasoner.api.edb

Modifier and Type	Class	Description
class	StoreException
class	TransactionException

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

Subclasses of ReasoningException in com.semedy.reasoner.api.idb

Modifier and Type	Class	Description
class	IDBException

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

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

Modifier and Type	Method	Description
void	Reasoner.close()	Close the reasoner.
List<TupleEnumerator>	Reasoner.evaluate()	starts evaluation and returns iterators for the results of the evaluation
void	Reasoner.evaluate(Receiver receiver)	Starts evaluation and feed the results into receiver
List<List<TupleEnumerator>>	Reasoner.evaluateSeveralQueries()	Starts evaluation for several queries.
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.
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 ReasoningException in com.semedy.reasoner.api.symboltable

Subclasses of ReasoningException in com.semedy.reasoner.api.symboltable

Modifier and Type	Class	Description
class	SymboltableException

Uses of ReasoningException in com.semedy.reasoner.app

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

Modifier and Type	Method	Description
ResultEnumerator	QueryRunner.eval(InterruptFlag interruptflag, String flogic, String query, ReasoningMonitor monitor)
static void	Foil.main(String[] args)
static void	Import.main(String[] args)
static void	IncrementalReplay.main(String[] args)
static void	Interpreter.main(String[] args)
static void	Interpreter.main(String[] args)
static void	Interpreter.main(String[] args)
static void	Load.main(String[] args)
static void	MultiInterpreter.main(String[] args)
static void	MultiInterpreter.main(String[] args)
static void	MultiInterpreter.main(String[] args)
static void	QueryRegister.main(String[] args)
static void	QueryRegister.main(String[] args)
static void	QueryRegister.main(String[] args)
static void	QueryRunner.main(String[] args)
static void	QueryRunner.main(String[] args)
static void	QueryRunner.main(String[] args)
static void	ReIndex.main(String[] args)
static void	RepairEDB.main(String[] args)
static void	StressTest.main(String[] args)
static void	QueryRegister.query(InterruptFlag interruptflag, String querypath, PrintStream out)
static void	QueryRegister.query(InterruptFlag interruptflag, String querypath, PrintStream out)
static void	QueryRegister.query(InterruptFlag interruptflag, String querypath, PrintStream out)
static void	QueryRunner.query(InterruptFlag interrupt, String querypath, PrintStream out)
static void	QueryRunner.query(InterruptFlag interrupt, String querypath, PrintStream out)
static void	QueryRunner.query(InterruptFlag interrupt, String querypath, PrintStream out)
String	APIMethods.queryJsons(String ooquery)	query for jsons In contrast to find jsons, query jsons combines jsons from triples.
void	QueryRegister.register(InterruptFlag interruptFlag, String flogic, String query, ReasoningMonitor monitor, PrintStream out)
void	RepairEDB.repairIt(Configuration config)
void	RepairEDB.repairIt(String configPath)
void	Foil.train(String positive, String negative, String headPredicate, List<String> bodyPredicates)

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

Methods in com.semedy.reasoner.builtin.aggregation that throw ReasoningException

Modifier and Type	Method	Description
void	CollatingCompose.input(long[] input)
void	Compose.input(long[] input)
void	AbstractAggregation.start(BitSet grounds)
void	CollatingCompose.start(BitSet grounds)
void	Compose.start(BitSet grounds)
void	AbstractAggregation.stop()
void	CollatingCompose.stop()
void	Compose.stop()

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

Methods in com.semedy.reasoner.builtin.connector that throw ReasoningException

Modifier and Type	Method	Description
void	TestMultiRelational.input(long[] input)
void	CountEventsInTime.start(BitSet grounds, BuiltinReceiver receiver)
void	Currency.start(BitSet grounds, BuiltinReceiver receiver)
void	Query.start(BitSet grounds, BuiltinReceiver receiver)
void	ReasonerQuery.start(BitSet grounds, BuiltinReceiver receiver)
void	TestMultiRelational.start(BitSet grounds, BuiltinReceiver receiver)
void	TestMultiRelationalCached.start(BitSet grounds, BuiltinReceiver receiver)
void	CountEventsInTime.stop()

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

Methods in com.semedy.reasoner.builtin.directfilter that throw ReasoningException

Modifier and Type	Method	Description
boolean	IsNotFunctional3.receiveTuple(long[] tuple)
void	IsNotFunctional3.tuplesFinished(boolean isBottomUp)
void	IsNotFunctional3.tuplesFinished(String annotation, ReasoningRelation T1, ReasoningRelation T2)

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

Methods in com.semedy.reasoner.builtin.filter that throw ReasoningException

Modifier and Type	Method	Description
boolean	IsEqual.evaluate(long[] input, BitSet grounds)
boolean	Different.isTrue(long[] input)
boolean	Equal.isTrue(long[] input)
boolean	Equals.isTrue(long[] input)
boolean	IsNotEqual.isTrue(long[] input)
boolean	IsReasoning.isTrue(long[] input)
boolean	NoneOf.isTrue(long[] input)
boolean	OneOf.isTrue(long[] input)

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

Methods in com.semedy.reasoner.builtin.functional that throw ReasoningException

Modifier and Type	Method	Description
boolean	ConcatMany.evaluate(long[] input, BitSet grounds)
boolean	IsAlive.evaluate(long[] input, BitSet grounds)	Given the input tuple and the instantiated arguments.
boolean	MatchBuiltin.evaluate(long[] input, BitSet grounds)
boolean	MathExpression.evaluate(long[] input, BitSet grounds)
boolean	ToString.evaluate(long[] input, BitSet grounds)
boolean	ToType.evaluate(long[] input, BitSet grounds)

Uses of ReasoningException in com.semedy.reasoner.core

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

Modifier and Type	Method	Description
static org.json.JSONObject	JsonUtils.arrayify(org.json.JSONObject json, org.json.JSONObject schema)	create arrays according to the arrays in the schema
static org.json.JSONObject	JsonUtils.arrayifySchema(Object value)	create arrays in a Json schema for enums
void	Sum.evaluate(BuiltinReceiver receiver)
long	ResultBufferNotThreaded.getCode(String variableName)	Get code with variable name.
void	Compose.input(long[] input)
void	Sum.input(long[] input)
void	EmptyEventResultReceiver.receiveResult(long[] result)
void	EmptyEventResultReceiver.receiveResult(TupleBuffer result)
void	EmptyEventResultReceiver.retractResult(long[] result)
void	Compose.start(BitSet grounds)
void	ContainsSequence.start(BitSet grounds)
void	PerformanceTest0.ContainsSequence.start(BitSet grounds)
void	Sum.start(BitSet grounds)
void	Compose.stop()
void	ContainsSequence.stop()
void	PerformanceTest0.ContainsSequence.stop()
void	Sum.stop()
void	JsonArrayIfyTest.test1()
void	JsonRecreateTest.test1()
void	JsonValidateTest.test1()
void	JsonValidateTest.test10()
void	JsonValidateTest.test11()
void	JsonRecreateTest.test12()
void	JsonValidateTest.test12()
void	JsonValidateTest.test13()
void	JsonValidateTest.test14()
void	JsonArrayIfyTest.test2()
void	JsonRecreateTest.test2()
void	JsonValidateTest.test2()
void	JsonArrayIfyTest.test3()
void	JsonRecreateTest.test3()
void	JsonArrayIfyTest.test3a()
void	JsonArrayIfyTest.test4()
void	JsonRecreateTest.test4()
void	JsonArrayIfyTest.test5()
void	JsonRecreateTest.test5()
void	JsonArrayIfyTest.test6()
void	JsonRecreateTest.test6()
void	JsonRecreateTest.test7()
void	JsonValidateTest.test7()
void	JsonRecreateTest.test8()
void	JsonValidateTest.test9()
void	TestDDB4.testEDB7()
void	TestDDB4.testEDB7()
void	IntermediateResultProducer.tuplesFinished(boolean isBottomUp)
void	IntermediateResultProducer.tuplesFinished(String annotation, ReasoningRelation T1, ReasoningRelation T2)

Uses of ReasoningException in com.semedy.reasoner.edb

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

Modifier and Type	Method	Description
void	Sum.evaluate(BuiltinReceiver receiver)
void	Compose.input(long[] input)
void	Sum.input(long[] input)
void	Compose.start(BitSet grounds)
void	Sum.start(BitSet grounds)
void	Compose.stop()
void	Sum.stop()

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

Subclasses of ReasoningException in com.semedy.reasoner.edb.persistentstore

Modifier and Type	Class	Description
class	PersistentStoreException

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

Subclasses of ReasoningException in com.semedy.reasoner.edb.ramstore

Modifier and Type	Class	Description
class	RAMStoreException

Uses of ReasoningException in com.semedy.reasoner.exercises

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

Modifier and Type	Method	Description
void	FilterA.input(long[] input)
void	FilterB.input(long[] input)
void	FilterA.start(BitSet grounds, BuiltinReceiver receiver)
void	FilterB.start(BitSet grounds, BuiltinReceiver receiver)
void	Mean.start(BitSet grounds)
void	Mean.stop()

Uses of ReasoningException in com.semedy.reasoner.induction

Methods in com.semedy.reasoner.induction that throw ReasoningException

Modifier and Type	Method	Description
void	RuleInduction.foil()
void	InductionTest.train(String positive, String negative, String headPredicate, List<String> bodyPredicates)

Uses of ReasoningException in com.semedy.reasoner.reasoning

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

Modifier and Type	Method	Description
void	ReasonerThreadedFactsPartitioning.close()
void	ReasonerThreadedRulesPartitioning.close()
Vector<String>	AbstractTestTemplate1.eval(Core core, String flogic, String fquery, boolean applyRewriters)
Vector<String>	AbstractTestTemplate1.eval(Core core, String flogic, String fquery, boolean applyRewriters, boolean useMonitor)
Vector<String>	AbstractTestTemplate1.eval(String flogic, String fquery)
Vector<String>	AbstractTestTemplate1.eval(String flogic, String fquery, boolean applyRewriters)
Vector<String>	AbstractTestTemplate1.eval(String flogic, String fquery, boolean applyRewriters, boolean useMonitor)
void	AbstractTestTemplate1.eval(String flogic, String fqueries, List<Vector<String>> results)
void	AbstractTestTemplate1.eval(String flogic, String fqueries, List<Vector<String>> results, boolean applyRewriters)
List<List<TupleEnumerator>>	ReasonerThreadedFactsPartitioning.evaluateSeveralQueries()
List<List<TupleEnumerator>>	ReasonerThreadedRulesPartitioning.evaluateSeveralQueries()
void	ReasonerThreadedFactsPartitioning.evaluationFinished()
void	ReasonerThreadedRulesPartitioning.evaluationFinished()
void	ReasonerThreadedFactsPartitioning.register(InterruptFlag interruptFlag, List<EventResultReceiver> receiver, CoreReadLock edbReadLock)
void	ReasonerThreadedRulesPartitioning.register(InterruptFlag interruptFlag, List<EventResultReceiver> receiver, CoreReadLock edbReadLock)
void	Logic.tes37()
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)
void	BasicTest.test1()
void	Logic.test116()
void	Logic.test118()
void	Logic.test120()
void	BasicTest.test2()
void	BasicTest.test2185B()
void	Logic.test24()
void	InternalizeTest.test3()
void	Logic.test303()
void	Logic.test305()
void	Logic.test305b()
void	Logic.test306()
void	Logic.test307()
void	Logic.test308()
void	Logic.test309()
void	Logic.test310()
void	Logic.test311()
void	Logic.test312()
void	Logic.test313()
void	Logic.test314()
void	Logic.test315()
void	Logic.test316()
void	Logic.test319()
void	Logic.test320()
void	Logic.test321()
void	Logic.test322()
void	Logic.test323()
void	Logic.test324()
void	Logic.test325()
void	DirectBuiltinsTest.test326a()
void	DirectBuiltinsTest.test326b()
void	DirectBuiltinsTest.test326c()
void	DirectBuiltinsTest.test326d()
void	DirectBuiltinsTest.test326e()
void	DirectBuiltinsTest.test326f()
void	DirectBuiltinsTest.test326g()
void	DirectBuiltinsTest.test326h()
void	DirectBuiltinsTest.test326i()
void	DirectBuiltinsTest.test326j()
void	DirectBuiltinsTest.test326k()
void	DirectBuiltinsTest.test326l()
void	Logic.test327a()
void	DirectBuiltinsTest.test327b()
void	DirectBuiltinsTest.test327c()
void	DirectBuiltinsTest.test327d()
void	DirectBuiltinsTest.test327e()
void	DirectBuiltinsTest.test327f()
void	DirectBuiltinsTest.test327g()
void	DirectBuiltinsTest.test327h()
void	DirectBuiltinsTest.test327i()
void	DirectBuiltinsTest.test327j()
void	DirectBuiltinsTest.test327k()
void	DirectBuiltinsTest.test327l()
void	Logic.test328()
void	DirectBuiltinsTest.test328a()
void	DirectBuiltinsTest.test328b()
void	DirectBuiltinsTest.test328c()
void	DirectBuiltinsTest.test328e()
void	DirectBuiltinsTest.test328f()
void	DirectBuiltinsTest.test328g()
void	Logic.test329()
void	DirectBuiltinsTest.test329a()
void	DirectBuiltinsTest.test329b()
void	DirectBuiltinsTest.test329c()
void	DirectBuiltinsTest.test329e()
void	DirectBuiltinsTest.test329f()
void	DirectBuiltinsTest.test329g()
void	Logic.test330()
void	DirectBuiltinsTest.test330a()
void	DirectBuiltinsTest.test330b()
void	DirectBuiltinsTest.test330c()
void	DirectBuiltinsTest.test330e()
void	DirectBuiltinsTest.test330f()
void	DirectBuiltinsTest.test330g()
void	Logic.test331()
void	Logic.test331a()
void	Logic.test332()
void	Logic.test333()
void	Logic.test334()
void	Logic.test335()
void	Logic.test336()
void	Logic.test337()
void	Logic.test338()
void	Logic.test339()
void	Logic.test340()
void	Logic.test341()
void	Logic.test35()
void	Logic.test36()
void	Logic.test36a()
void	Logic.test38()
void	Logic.test39()
void	Logic.test39a()
void	Logic.test39b()
void	Logic.test39c()
void	Logic.test39d()
void	Logic.test39e()
void	Logic.test40()
void	Logic.test42()
void	Logic.test43()
void	Logic.test54()
void	Logic.test71()
void	Logic.test72()
void	Logic.test73()
void	Logic.test74()
void	Logic.test76()
void	Logic.test77()
void	Logic.test78()
void	Logic.test79()
void	BasicTest.test7959B()
void	Logic.test80()
void	Logic.test81()
void	Logic.test82()
void	Logic.test84()
boolean	AbstractTestTemplate.testFile(Reader is, String path, boolean topdown, Configuration.StorageType storage, boolean symboltableondisc, boolean directencoded)
void	BasicTest.testJoinVV()
void	BasicTest.testJoinWithGroundsGV()
void	BasicTest.testJoinWithGroundsVV()
void	BasicTest.testMagicSetProblem()
void	MassTest.testMass1()
void	MassTest.testMass2()
void	BasicTest.testRedundantBodiesEliminator()
void	MassTest.testSwap()

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

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

Modifier and Type	Method	Description
void	RuleCompiler.attachReceiver(Receiver receiver, ExtensionalDB temporaryEDB)	attach a receiver to the ith query to process net which gets the results of the evaluation
void	RuleCompiler.attachReceiver(List<Receiver> receiver, ExtensionalDB temporaryEDB)	attach a receiver to process net which gets the results of the evaluation
void	RuleCompiler.attachToEDB()	attach process net to central edb
void	RuleCompiler.attachToEDB(ExtensionalDB[] edbs)	attach process net to edb
void	And.evaluationFinished()
void	And.evaluationFinished(long querykey)
void	ExecuteAggregation.evaluationFinished(long querykey)
void	ExecuteConnectorBuiltin.evaluationFinished(long querykey)
void	ExecuteDirectFilterBuiltin.evaluationFinished(long querykey)
void	ExecuteFilterBuiltin.evaluationFinished(long querykey)
void	ExecuteFunctionalBuiltin.evaluationFinished(long querykey)
boolean	Encoder.receiveRelation(ReasoningRelation relation)
boolean	TopDown.receiveTuple(int tuple)
boolean	TopDown.receiveTuple(long[] tuple)
boolean	TopDownTrigger.receiveTuple(int tuple)
boolean	TopDownTrigger.receiveTuple(long[] tuple)
void	End.tuplesFinished(boolean isBottomUp)
void	End.tuplesFinished(String annotation, ReasoningRelation R1, ReasoningRelation R2)

Uses of ReasoningException in com.semedy.reasoner.rewriter

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

Modifier and Type	Method	Description
boolean	SelectOne.isTrue(long[] input)