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 and Description
class	EFOLReasoner Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.
class	NaiveFolReasoner Uses a naive brute force search procedure for theorem proving.
class	Prover9FolReasoner Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.
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 and Description
static FolReasoner	FolReasoner.defaultReasoner Empty default reasoner

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

Modifier and Type	Method and 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 and 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 and Description
(package private) static FolReasoner	TPTPTest.e
(package private) static FolReasoner	Prover9Test.e
(package private) static FolReasoner	SPASSTest.spass