Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
void |
Launcher.launch()
Launches the prover.
|
void |
Launcher.optConfigCmdLineOptions(org.apache.commons.cli.Options options)
Add the specified command options to the command line options for this
launcher.
|