public class Prover9FolReasoner extends FolReasoner
Modifier and Type | Field and Description |
---|---|
private Shell |
bash
Shell to run Prover9
|
private java.lang.String |
binaryLocation
String representation of the EProver binary path.
|
defaultReasoner
Constructor and Description |
---|
Prover9FolReasoner(java.lang.String binaryLocation)
Constructs a new instance pointing to a specific Prover9
|
Prover9FolReasoner(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific Prover9.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b)
This method determines whether two formulas are
equivalent wrt.
|
private boolean |
eval(java.io.File file)
Invokes Prover9.
|
java.lang.String |
getBinaryLocation()
Returns the path of the Prover9 binaries.
|
java.lang.Boolean |
query(FolBeliefSet kb,
FolFormula query)
Queries the given belief base for the given formula.
|
void |
setBinaryLocation(java.lang.String binaryLocation)
Changes the path of the Prover9 binaries.
|
getDefaultReasoner, setDefaultReasoner
private java.lang.String binaryLocation
private Shell bash
public Prover9FolReasoner(java.lang.String binaryLocation, Shell bash)
binaryLocation
- of the prover9 executable on the hard drivebash
- shell to run commandspublic Prover9FolReasoner(java.lang.String binaryLocation)
binaryLocation
- of the prover9 executable on the hard drivepublic java.lang.Boolean query(FolBeliefSet kb, FolFormula query)
Reasoner
query
in interface QualitativeReasoner<FolBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
query
in class FolReasoner
kb
- a belief basequery
- a formulapublic boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
FolReasoner
equivalent
in class FolReasoner
kb
- the knowledge basea
- the first formula.b
- the second formula.private boolean eval(java.io.File file) throws java.lang.Exception
file
- input file for Prover9java.lang.Exception
public java.lang.String getBinaryLocation()
public void setBinaryLocation(java.lang.String binaryLocation)
binaryLocation
- the new path of the binary