Modifier and Type | Class and Description |
---|---|
static class |
ProofIndependentSMTSettings.SolverData |
Modifier | Constructor and Description |
---|---|
private |
ProofIndependentSMTSettings() |
private |
ProofIndependentSMTSettings(ProofIndependentSMTSettings data) |
private static final String ACTIVE_SOLVER
private static final String TIMEOUT
private static final String PATH_FOR_SMT_TRANSLATION
private static final String PATH_FOR_TACLET_TRANSLATION
private static final String SHOW_SMT_RES_DIA
private static final String PROGRESS_DIALOG_MODE
private static final String MAX_CONCURRENT_PROCESSES
private static final String INT_BOUND
private static final String HEAP_BOUND
private static final String FIELD_BOUND
private static final String OBJECT_BOUND
private static final String LOCSET_BOUND
private static final int DEFAULT_BIT_LENGTH_FOR_CE_GENERATION
private static final String SOLVER_PARAMETERS
private static final String SOLVER_COMMAND
private static final String SOLVER_CHECK_FOR_SUPPORT
public static final int PROGRESS_MODE_USER
public static final int PROGRESS_MODE_CLOSE
public static final int PROGRESS_MODE_CLOSE_FIRST
private final HashMap<SolverType,ProofIndependentSMTSettings.SolverData> dataOfSolvers
public boolean showResultsAfterExecution
public boolean storeSMTTranslationToFile
public boolean storeTacletTranslationToFile
public long timeout
public int maxConcurrentProcesses
public int modeOfProgressDialog
public String pathForSMTTranslation
public String pathForTacletTranslation
public String activeSolver
public long intBound
public long heapBound
public long seqBound
public long objectBound
public long locsetBound
private Collection<SettingsListener> listeners
private SolverTypeCollection activeSolverUnion
private LinkedList<SolverTypeCollection> solverUnions
public boolean checkForSupport
private static final ProofIndependentSMTSettings DEFAULT_DATA
private ProofIndependentSMTSettings(ProofIndependentSMTSettings data)
private ProofIndependentSMTSettings()
public int getMaxConcurrentProcesses()
public void setMaxConcurrentProcesses(int maxConcurrentProcesses)
public void copy(ProofIndependentSMTSettings data)
public static ProofIndependentSMTSettings getDefaultSettingsData()
public Collection<SolverType> getSupportedSolvers()
public String getCommand(SolverType type)
public void setCommand(SolverType type, String command)
public void setParameters(SolverType type, String parameters)
public Collection<ProofIndependentSMTSettings.SolverData> getDataOfSolvers()
public ProofIndependentSMTSettings clone()
public void readSettings(Object sender, Properties props)
Settings
sender
is the object calling this method.readSettings
in interface Settings
public void writeSettings(Object sender, Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pair
sender
is the object calling this method.public void setActiveSolverUnion(SolverTypeCollection solverUnion)
public SolverTypeCollection computeActiveSolverUnion()
public Collection<SolverTypeCollection> getUsableSolverUnions()
public Collection<SolverTypeCollection> getSolverUnions()
public void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listener