Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
jtabwbx.problems |
Problem description reader for problems of the ILTP library.
|
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. |
Modifier and Type | Method and Description |
---|---|
_ProblemReader |
Launcher.LaunchConfiguration.getSelectedReader() |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<_ProblemReader> |
ConfiguredProblemDescriptioReader.getValue()
Returns the class of the problem description reader.
|
Modifier and Type | Method and Description |
---|---|
void |
_SingleExecutionConfigurator.configProblemReader(_ProblemReader reader,
Launcher.LaunchConfiguration currentLauncherConfiguration)
This method is executed by the launcher immediately before invoking
read(java.io.Reader) . |
void |
Launcher.configStandardInputReader(_ProblemReader stdInputProblemReader)
Defines the reader used to parse a problem from standard input when
-i option is set. |
Constructor and Description |
---|
ConfiguredProblemDescriptioReader(java.lang.String name,
java.lang.String description,
java.lang.Class<_ProblemReader> value) |
Modifier and Type | Class and Description |
---|---|
class |
ILTPProblemReader
Problem reader for ILTP-library problems.
|
class |
JTabWbSimpleProblemReader
Instances of this class allow one to read a problem description in the JTabWb
format where a problem is specified in a file in with the following
structure:
|
class |
PlainProblemReader
Instances of this class allow one to read a problem only consisting of the
problem formula.
|