public static class Launcher.LaunchConfiguration
extends java.lang.Object
Constructor and Description |
---|
LaunchConfiguration() |
Modifier and Type | Method and Description |
---|---|
void |
checkConfiguration() |
org.apache.commons.cli.CommandLine |
getCommandLine()
Returns the list of atomic options and arguments parsed according to the
specified options.
|
ConfiguredTheoremProver |
getSelectedProver() |
_ProblemReader |
getSelectedReader() |
boolean |
isTraceExecutionMode()
Returns true if trace execution mode is set.
|
public boolean isTraceExecutionMode()
public org.apache.commons.cli.CommandLine getCommandLine()
public _ProblemReader getSelectedReader()
public ConfiguredTheoremProver getSelectedProver()
public void checkConfiguration()