|
| |
|
| java.lang.Object
 de.uka.ilkd.key.gui.DecisionProcedureSettings
| DecisionProcedureSettings | | public class DecisionProcedureSettings implements Settings(Code) | | This class encapsulates the information which
decision procedure should be used.
|
| addSettingsListener | | public void addSettingsListener(SettingsListener l)(Code) | | adds a listener to the settings object
Parameters:
l - the listener |
| doBenchmarkArchiving | | public boolean doBenchmarkArchiving()(Code) | | true if SMT benchmark archiving is enabled |
| doZipProblemDir | | public boolean doZipProblemDir()(Code) | | true if problem directories will be zipped during SMT benchmark archiving |
| fireSettingsChanged | | protected void fireSettingsChanged()(Code) | | sends the message that the state of this setting has been
changed to its registered listeners (not thread-safe)
|
| getDecisionProcedure | | public String getDecisionProcedure()(Code) | | |
| getDecisionProcedureForTest | | public String getDecisionProcedureForTest()(Code) | | |
| readSettings | | public void readSettings(Properties props)(Code) | | gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
| setDecisionProcedure | | public void setDecisionProcedure(String s)(Code) | | |
| setDecisionProcedureForTest | | public void setDecisionProcedureForTest(String s)(Code) | | |
| setDoBenchmarkArchiving | | public void setDoBenchmarkArchiving(boolean b)(Code) | | Enables archiving of SMT benchmarks (which were translated from sequents) during execution
of SMT compliant external decision procedures
Parameters:
b - if set to true, the benchmarks will be archived |
| setDoZipProblemDir | | public void setDoZipProblemDir(boolean b)(Code) | | Enables zipping of archived problem directories during SMT benchmark archiving
Parameters:
b - if set to true, the problem dirs will be zipped |
| setUseQuantifier | | public void setUseQuantifier(boolean b)(Code) | | Enables translation of quantified terms during SMT translation
Parameters:
b - if set to true, quantifiers will be translated |
| useCVC3 | | public boolean useCVC3()(Code) | | |
| useCVCLite | | public boolean useCVCLite()(Code) | | |
| useCogentForTest | | public boolean useCogentForTest()(Code) | | |
| useICS | | public boolean useICS()(Code) | | |
| useQuantifiers | | public boolean useQuantifiers()(Code) | | true if quantifiers will be translated in SMT translation |
| useSMT_Translation | | public boolean useSMT_Translation()(Code) | | |
| useSVC | | public boolean useSVC()(Code) | | |
| useSimplify | | public boolean useSimplify()(Code) | | |
| useSimplifyForTest | | public boolean useSimplifyForTest()(Code) | | |
| useYices | | public boolean useYices()(Code) | | |
| writeSettings | | public void writeSettings(Properties props)(Code) | | implements the method required by the Settings interface. The
settings are written to the given Properties object. Only entries of the form
= (,)* are allowed.
Parameters:
props - the Properties object where to write the settings as (key, value) pair |
|
|
|