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

Packages that use FolTheoremProver

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

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

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

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