public static class ProofIndependentSMTSettings.SolverData extends Object
Modifier and Type | Field and Description |
---|---|
String |
solverCommand |
String |
solverParameters |
SolverType |
type |
Modifier | Constructor and Description |
---|---|
|
ProofIndependentSMTSettings.SolverData(SolverType type) |
private |
ProofIndependentSMTSettings.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 ProofIndependentSMTSettings.SolverData(SolverType type)
private ProofIndependentSMTSettings.SolverData(SolverType type, String command, String parameters)
private void readSettings(Properties props)
private void writeSettings(Properties props)
public ProofIndependentSMTSettings.SolverData clone()