public static class ProofIndependentSMTSettings.SolverData extends Object
Modifier and Type | Field and Description |
---|---|
String |
solverCommand |
String |
solverParameters |
SolverType |
type |
Modifier | Constructor and Description |
---|---|
|
SolverData(SolverType type) |
private |
SolverData(SolverType type,
String command,
String parameters) |
Modifier and Type | Method and Description |
---|---|
ProofIndependentSMTSettings.SolverData |
clone() |
private void |
readSettings(Properties props) |
String |
toString() |
private void |
writeSettings(Properties props) |
public String solverParameters
public String solverCommand
public final SolverType type
public SolverData(SolverType type)
private SolverData(SolverType type, String command, String parameters)
private void readSettings(Properties props)
private void writeSettings(Properties props)
public ProofIndependentSMTSettings.SolverData clone()