public class EFOLReasoner extends FolReasoner
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
additionalArguments
Additional arguments for the call to the EProver binary
(Default value is "--auto-schedule" which seems to be working
best in general)
|
private Shell |
bash
Shell to run EProver
|
private java.lang.String |
binaryLocation
String representation of the EProver binary path.
|
defaultReasoner
Constructor and Description |
---|
EFOLReasoner(java.lang.String binaryLocation)
Constructs a new instance pointing to a specific EProver.
|
EFOLReasoner(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific EProver.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b)
This method determines whether two formulas are
equivalent wrt.
|
java.lang.String |
getAdditionalArguments()
Returns the additional arguments given to the call of the
EProver binary (Default value is "--auto-schedule").
|
java.lang.String |
getBinaryLocation()
Returns the path of the EProver binary.
|
java.lang.Boolean |
query(FolBeliefSet kb,
FolFormula query)
Queries the given belief base for the given formula.
|
void |
setAdditionalArguments(java.lang.String s)
Sets the additional arguments given to the call of the
EProver binary (Default value is "--auto-schedule").
|
void |
setBinaryLocation(java.lang.String binaryLocation)
Changes the path of the EProver binary.
|
getDefaultReasoner, setDefaultReasoner
private java.lang.String binaryLocation
private java.lang.String additionalArguments
private Shell bash
public EFOLReasoner(java.lang.String binaryLocation, Shell bash)
binaryLocation
- location of the EProver executable on the hard drivebash
- shell to run commandspublic EFOLReasoner(java.lang.String binaryLocation)
binaryLocation
- location of the Eprover executable on the hard drivepublic void setAdditionalArguments(java.lang.String s)
s
- some stringpublic java.lang.String getAdditionalArguments()
public 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.public java.lang.String getBinaryLocation()
public void setBinaryLocation(java.lang.String binaryLocation)
binaryLocation
- the new path of the EProver binary