Uses of Class
com.semedy.reasoner.api.idb.IDBException

Packages that use IDBException

Package	Description
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.logic
com.semedy.reasoner.app
com.semedy.reasoner.reasoning.processes

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

Methods in com.semedy.reasoner.api.idb that throw IDBException

Modifier and Type	Method	Description
boolean	IntensionalDB.removeAllRules(Collection<Rule> rules)	Remove a whole collection of rules.

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

Methods in com.semedy.reasoner.api.logic that throw IDBException

Modifier and Type	Method	Description
Rule	Rule.cloneRule()	clone a rule.
Rule	Rule.getNormalized()	get a normalized version (all variables are renamed to Xi)

Constructors in com.semedy.reasoner.api.logic that throw IDBException

Modifier	Constructor	Description
	Rule(String id, Literal head, Literal[] bodies)
	Rule(String id, Literal head, List<Literal> bodies)

Uses of IDBException in com.semedy.reasoner.app

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

Modifier and Type	Method	Description
ResultEnumerator	QueryRunner.eval(InterruptFlag interruptflag, String flogic, String query, ReasoningMonitor monitor)
void	QueryRegister.register(InterruptFlag interruptFlag, String flogic, String query, ReasoningMonitor monitor, PrintStream out)

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

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

Modifier and Type	Method	Description
Rule	RuleSimplifier.rewriteRule(Rule rule, BuiltinProvider builtins)