Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
<T extends _ProblemReader> |
Launcher.configProblemDescriptionReader(java.lang.String name,
java.lang.Class<T> reader)
Adds a problem description reader with the specified name and
implementation to this launcher.
|
<T extends _ProblemReader> |
Launcher.configProblemDescriptionReader(java.lang.String name,
java.lang.Class<T> reader,
boolean isDefault)
Adds a problem description reader with the specified name and
implementation to this launcher specifying if it is (
isDefault==true ) or not (isDefault==false ) the
default problem description reader for this launcher. |