Uses of Class
net.sf.tweety.logics.fol.reasoner.FolReasoner

Packages that use FolReasoner

Package	Description
net.sf.tweety.logics.fol.reasoner
net.sf.tweety.logics.fol.test

Uses of FolReasoner in net.sf.tweety.logics.fol.reasoner

Subclasses of FolReasoner in net.sf.tweety.logics.fol.reasoner

Modifier and Type	Class	Description
class	EFOLReasoner	Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.
class	Prover9FolReasoner	Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.
class	SimpleFolReasoner	Uses a naive brute force search procedure for theorem proving.
class	SpassFolReasoner	Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

Fields in net.sf.tweety.logics.fol.reasoner declared as FolReasoner

Modifier and Type	Field	Description
static FolReasoner	FolReasoner.defaultReasoner	Empty default reasoner

Methods in net.sf.tweety.logics.fol.reasoner that return FolReasoner

Modifier and Type	Method	Description
static FolReasoner	FolReasoner.getDefaultReasoner()	Returns the default theorem prover

Methods in net.sf.tweety.logics.fol.reasoner with parameters of type FolReasoner

Modifier and Type	Method	Description
static void	FolReasoner.setDefaultReasoner(FolReasoner reasoner)	Set default reasoner with given

Uses of FolReasoner in net.sf.tweety.logics.fol.test

Fields in net.sf.tweety.logics.fol.test declared as FolReasoner

Modifier and Type	Field	Description
(package private) static FolReasoner	Prover9Test.e
(package private) static FolReasoner	TPTPTest.e
(package private) static FolReasoner	SPASSTest.spass