public class SPASSModalReasoner extends AbstractModalReasoner
SPASSTest.ComplexQueryTest()
for examples.Modifier and Type | Field and Description |
---|---|
private Shell |
bash
Shell to run SPASS.
|
private java.lang.String |
binaryLocation
String representation of the SPASS path.
|
private java.lang.String |
cmdOptions
Command line options that will be used by SPASS when executing the query.
|
defaultReasoner
Constructor and Description |
---|
SPASSModalReasoner(java.lang.String binaryLocation)
Constructs a new instance pointing to a specific SPASS
|
SPASSModalReasoner(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific SPASS Prover.
|
Modifier and Type | Method and Description |
---|---|
private boolean |
evaluateResult(java.lang.String output)
Evaluates SPASS results.
|
java.lang.Boolean |
query(ModalBeliefSet kb,
FolFormula query)
Queries the given belief base for the given formula.
|
java.lang.String |
queryProof(ModalBeliefSet kb,
Formula query)
Determines the answer wrt.
|
void |
setCmdOptions(java.lang.String s)
Sets the command line options that will be used by SPASS when executing the query.
|
getDefaultReasoner, setDefaultReasoner
private java.lang.String binaryLocation
private Shell bash
private java.lang.String cmdOptions
public SPASSModalReasoner(java.lang.String binaryLocation, Shell bash)
binaryLocation
- of the SPASS executable on the hard drivebash
- shell to run commandspublic SPASSModalReasoner(java.lang.String binaryLocation)
binaryLocation
- of the SPASS executable on the hard drivepublic void setCmdOptions(java.lang.String s)
s
- a string containing the command line argumentspublic java.lang.Boolean query(ModalBeliefSet kb, FolFormula query)
Reasoner
query
in interface QualitativeReasoner<ModalBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>
query
in class AbstractModalReasoner
kb
- a belief basequery
- a formulapublic java.lang.String queryProof(ModalBeliefSet kb, Formula query)
net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner#query(Formula)
if only a yes/no result is needed.kb
- a modal belief setquery
- a formulaprivate boolean evaluateResult(java.lang.String output)
output
- of a SPASS query