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

Packages that use Filter

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.edb

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

Method parameters in com.semedy.reasoner.api.core with type arguments of type Filter

Modifier and Type	Method	Description
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.

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

Method parameters in com.semedy.reasoner.api.edb with type arguments of type Filter

Modifier and Type	Method	Description
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.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.