public class MleanCoPReasoner extends AbstractModalReasoner
Modifier and Type | Field and Description |
---|---|
private Shell |
bash
Shell to run MleanCoP.
|
private java.lang.String |
scriptLocation
String representation of the mleancop.sh path.
|
defaultReasoner
Constructor and Description |
---|
MleanCoPReasoner(java.lang.String location)
Constructs a new instance pointing to a specific MleanCoProver.
|
MleanCoPReasoner(java.lang.String location,
Shell bash)
Constructs a new instance pointing to a specific MleanCoProver.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getScriptLocation()
Get the mleancop.sh path.
|
java.lang.Boolean |
query(ModalBeliefSet beliefbase,
FolFormula formula)
Queries the given belief base for the given formula.
|
void |
setScriptLocation(java.lang.String location)
Set the mleancop.sh path.
|
getDefaultReasoner, setDefaultReasoner
private java.lang.String scriptLocation
private Shell bash
public MleanCoPReasoner(java.lang.String location, Shell bash)
location
- mleancop.sh path on the hard drivebash
- shell to run commandspublic MleanCoPReasoner(java.lang.String location)
location
- mleancop.sh path on the hard drivepublic java.lang.String getScriptLocation()
public void setScriptLocation(java.lang.String location)
location
- of MleanCOP shell scriptpublic java.lang.Boolean query(ModalBeliefSet beliefbase, FolFormula formula)
Reasoner
query
in interface QualitativeReasoner<ModalBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>
query
in class AbstractModalReasoner
beliefbase
- a belief baseformula
- a formula