Package | Description |
---|---|
input |
package contains classes to parse the input to the tool.
|
Modifier and Type | Field and Description |
---|---|
CommandLineArgs.SolverType |
CommandLineArgs.solver
Solver to use for SMT Solving
|
Modifier and Type | Method and Description |
---|---|
private CommandLineArgs.SolverType |
CommandLineArgs.parseSolverType(java.lang.String argument)
Parse which solver to use.
|
static CommandLineArgs.SolverType |
CommandLineArgs.SolverType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static CommandLineArgs.SolverType[] |
CommandLineArgs.SolverType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|