Uses of Class
org.tweetyproject.logics.fol.reasoner.FolReasoner

Packages that use FolReasoner

Package	Description
org.tweetyproject.logics.fol.reasoner

Uses of FolReasoner in org.tweetyproject.logics.fol.reasoner

Subclasses of FolReasoner in org.tweetyproject.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 org.tweetyproject.logics.fol.reasoner declared as FolReasoner

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

Methods in org.tweetyproject.logics.fol.reasoner that return FolReasoner

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

Methods in org.tweetyproject.logics.fol.reasoner with parameters of type FolReasoner

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