abstract class AbstractSolverType extends java.lang.Object implements SolverType
Modifier and Type | Field and Description |
---|---|
private boolean |
installWasChecked |
private boolean |
isInstalled |
private boolean |
isSupportedVersion |
private java.lang.String |
solverCommand |
private java.lang.String |
solverParameters |
private java.lang.String |
solverVersion |
private boolean |
supportHasBeenChecked |
ALL_SOLVERS, CVC3_SOLVER, CVC4_SOLVER, SIMPLIFY_SOLVER, YICES_SOLVER, Z3_CE_SOLVER, Z3_SOLVER
Constructor and Description |
---|
AbstractSolverType() |
Modifier and Type | Method and Description |
---|---|
private static boolean |
checkEnvVariable(java.lang.String cmd) |
boolean |
checkForSupport()
Checks for support and returns the result.
|
java.lang.String |
getRawVersion()
Retrieve the version string without check for support.
|
java.lang.String |
getSolverCommand()
the command for starting the solver.
|
java.lang.String |
getSolverParameters()
The currently used parameters for the solver.
|
java.lang.String |
getVersion()
Returns the current version that is installed, if it has already been checked, otherwise null.
|
boolean |
isInstalled(boolean recheck)
check, if this solver is installed and can be used.
|
static boolean |
isInstalled(java.lang.String cmd) |
boolean |
isSupportedVersion()
Returns whether the currently installed version is supported.
|
java.lang.String |
modifyProblem(java.lang.String problem)
Directly before the problem description is sent to the solver one can modify the problem string by using
this method.
|
void |
setSolverCommand(java.lang.String s) |
void |
setSolverParameters(java.lang.String s) |
boolean |
supportHasBeenChecked()
returns true if and only if the support has been checked for the currently installed solver.
|
java.lang.String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
createSolver, createTranslator, getDefaultSolverCommand, getDefaultSolverParameters, getDelimiters, getInfo, getName, getSupportedVersions, getVersionParameter, supportsIfThenElse
private boolean installWasChecked
private boolean isInstalled
private java.lang.String solverParameters
private java.lang.String solverCommand
private java.lang.String solverVersion
private boolean isSupportedVersion
private boolean supportHasBeenChecked
public static boolean isInstalled(java.lang.String cmd)
public boolean isInstalled(boolean recheck)
isInstalled
in interface SolverType
recheck
- if false, the solver is not checked again, if a cached
value for this exists.private static boolean checkEnvVariable(java.lang.String cmd)
public boolean checkForSupport()
SolverType
checkForSupport
in interface SolverType
public boolean supportHasBeenChecked()
SolverType
supportHasBeenChecked
in interface SolverType
public boolean isSupportedVersion()
SolverType
isSupportedVersion
in interface SolverType
public java.lang.String getSolverParameters()
SolverType
getSolverParameters
in interface SolverType
public void setSolverParameters(java.lang.String s)
setSolverParameters
in interface SolverType
public void setSolverCommand(java.lang.String s)
setSolverCommand
in interface SolverType
public final java.lang.String getSolverCommand()
SolverType
getSolverCommand
in interface SolverType
public java.lang.String getVersion()
SolverType
getVersion
in interface SolverType
public java.lang.String getRawVersion()
SolverType
getRawVersion
in interface SolverType
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String modifyProblem(java.lang.String problem)
SolverType
modifyProblem
in interface SolverType