public abstract class SmtTextSolver extends SolverBase
| Constructor and Description |
|---|
SmtTextSolver(java.lang.String name,
java.lang.String desc,
java.lang.String envVarName) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract java.io.Reader |
invokeSolver(java.lang.String path) |
SolverResult |
solve(Constraint constraint)
Solves the specified constraint.
|
addCustomOperation, addCustomOperation, addStandardOperation, getDescription, getName, getOperations, getSolverPath, isGeneric, isSupported, setSolverPath, supportedKindCheckpublic SmtTextSolver(java.lang.String name,
java.lang.String desc,
java.lang.String envVarName)
protected abstract java.io.Reader invokeSolver(java.lang.String path)
throws java.io.IOException
java.io.IOExceptionpublic SolverResult solve(Constraint constraint)
Solverconstraint - A constraint object.