net.sf.tweety.logics.fol.prover

Class EProver

java.lang.Object

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

net.sf.tweety.logics.fol.prover.EProver

public class EProver
extends FolTheoremProver

Author:

Bastian Wolf

Field Summary

Fields inherited from class net.sf.tweety.logics.fol.prover.FolTheoremProver

defaultProver

Constructor Summary

Constructors

Constructor and Description
EProver(String binaryLocation) Creates a new EProver with the E binary path given as parameter

Method Summary

Modifier and Type	Method and Description
String	getBinaryLocation() returns the path of the provers binary
void	setBinaryLocation(String binaryLocation) Change path of the binary

Methods inherited from class net.sf.tweety.logics.fol.prover.FolTheoremProver

getDefaultProver, setDefaultProver

Methods inherited from class java.lang.Object

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

Constructor Detail

EProver

public EProver(String binaryLocation)

Creates a new EProver with the E binary path given as parameter

Parameters:

binaryLocation - the E binary path

Method Detail

getBinaryLocation

public String getBinaryLocation()

returns the path of the provers binary

Returns:

the path of the provers binary

setBinaryLocation

public void setBinaryLocation(String binaryLocation)

Change path of the binary

Parameters:

binaryLocation - the new path of the E binary