public class Prover9 extends FolTheoremProver
Modifier and Type | Field and Description |
---|---|
private Shell |
bash
Shell to run prover9
|
private java.lang.String |
binaryLocation
String representation of the prover9 binary path, directory, where the
temporary files are stored
|
defaultProver
Constructor and Description |
---|
Prover9(java.lang.String binaryLocation)
Constructs a new instance pointing to a specific prover9
|
Prover9(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific prover 9
|
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
private boolean |
eval(java.io.File file)
invokes prover9
|
java.lang.String |
getBinaryLocation()
returns the path of the provers binary
|
boolean |
query(FolBeliefSet kb,
FolFormula query)
This method determines the answer of the given query
wrt.
|
void |
setBinaryLocation(java.lang.String binaryLocation)
Change path of the binary
|
getDefaultProver, setDefaultProver
private java.lang.String binaryLocation
private Shell bash
public Prover9(java.lang.String binaryLocation, Shell bash)
binaryLocation
- of the prover9 executable on the hard drivebash
- shell to run commandspublic Prover9(java.lang.String binaryLocation)
binaryLocation
- of the prover9 executable on the hard drivepublic boolean query(FolBeliefSet kb, FolFormula query)
FolTheoremProver
query
in class FolTheoremProver
kb
- the knowledge basequery
- a query.public boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
equivalent
in class FolTheoremProver
private boolean eval(java.io.File file) throws java.lang.Exception
file
- input fle for prover9java.lang.Exception
public java.lang.String getBinaryLocation()
public void setBinaryLocation(java.lang.String binaryLocation)
binaryLocation
- the new path of the binary