Uses of Class
net.sf.tweety.logics.fol.prover.FolTheoremProver

Packages that use FolTheoremProver

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

Uses of FolTheoremProver in net.sf.tweety.logics.fol.prover

Subclasses of FolTheoremProver in net.sf.tweety.logics.fol.prover

Modifier and Type	Class and Description
class	EProver Invokes Eprover (http://eprover.org) and returns its results.
class	NaiveProver Uses a naive brute force search procedure for theorem proving.
class	Prover9 Invokes Prover9 (https://www.cs.unm.edu/~mccune/mace4/) and returns its results.

Fields in net.sf.tweety.logics.fol.prover declared as FolTheoremProver

Modifier and Type	Field and Description
static FolTheoremProver	FolTheoremProver.defaultProver Empty default prover

Methods in net.sf.tweety.logics.fol.prover that return FolTheoremProver

Modifier and Type	Method and Description
static FolTheoremProver	FolTheoremProver.getDefaultProver() Returns the default theorem prover

Methods in net.sf.tweety.logics.fol.prover with parameters of type FolTheoremProver

Modifier and Type	Method and Description
static void	FolTheoremProver.setDefaultProver(FolTheoremProver prover) Set default prover with given

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

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

Modifier and Type	Field and Description
(package private) static FolTheoremProver	TPTPTest.e
(package private) static FolTheoremProver	Prover9Test.e