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