Uses of Interface
jtabwb.launcher._ProblemReader

Packages that use _ProblemReader

Package	Description
jtabwb.launcher	Implementation of a command line launcher for provers.
jtabwbx.problems	Problem description reader for problems of the ILTP library.

Uses of _ProblemReader in jtabwb.launcher

Methods in jtabwb.launcher with type parameters of type _ProblemReader

Modifier and Type	Method and Description
<T extends _ProblemReader> void	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> void	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.

Methods in jtabwb.launcher that return _ProblemReader

Modifier and Type	Method and Description
_ProblemReader	Launcher.LaunchConfiguration.getSelectedReader()

Methods in jtabwb.launcher that return types with arguments of type _ProblemReader

Modifier and Type	Method and Description
java.lang.Class<_ProblemReader>	ConfiguredProblemDescriptioReader.getValue() Returns the class of the problem description reader.

Methods in jtabwb.launcher with parameters of type _ProblemReader

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 parameters in jtabwb.launcher with type arguments of type _ProblemReader

Constructor and Description
ConfiguredProblemDescriptioReader(java.lang.String name, java.lang.String description, java.lang.Class<_ProblemReader> value)

Uses of _ProblemReader in jtabwbx.problems

Classes in jtabwbx.problems that implement _ProblemReader

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.