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

Packages that use FolReasoner

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

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	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 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