public final class Cvc4Solver extends SmtTextSolver
Constructor and Description |
---|
Cvc4Solver() |
Modifier and Type | Method and Description |
---|---|
static Function |
customPlus() |
static Function |
customRem() |
protected java.util.List<java.lang.String> |
getHeader()
Returns the list of solver-specific header lines.
|
java.io.Reader |
invokeSolver(java.lang.String path) |
solve
addCustomOperation, addCustomOperation, addStandardOperation, getDescription, getName, getOperations, getSolverPath, isGeneric, isSupported, setSolverPath, supportedKindCheck
protected java.util.List<java.lang.String> getHeader()
SmtTextSolver
getHeader
in class SmtTextSolver
public java.io.Reader invokeSolver(java.lang.String path) throws java.io.IOException
invokeSolver
in class SmtTextSolver
java.io.IOException
public static Function customRem()
public static Function customPlus()