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.util.List<java.lang.String> |
getHeader()
Returns the list of solver-specific header lines.
|
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, supportedKindCheck
public SmtTextSolver(java.lang.String name, java.lang.String desc, java.lang.String envVarName)
protected abstract java.util.List<java.lang.String> getHeader()
protected abstract java.io.Reader invokeSolver(java.lang.String path) throws java.io.IOException
java.io.IOException
public SolverResult solve(Constraint constraint)
Solver
constraint
- A constraint object.