net.sf.tweety.logics.fol.prover

Class FolTheoremProver

java.lang.Object

net.sf.tweety.logics.fol.prover.FolTheoremProver

Direct Known Subclasses:

EProver

public abstract class FolTheoremProver
extends Object

Author:

Bastian Wolf

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
FolTheoremProver()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

defaultProver

public static FolTheoremProver defaultProver

Empty default prover

Constructor Detail

FolTheoremProver

public FolTheoremProver()

Method Detail

setDefaultProver

public static void setDefaultProver(FolTheoremProver prover)

Set default prover with given

Parameters:

prover -

getDefaultProver

public static FolTheoremProver getDefaultProver()

Returns: