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 |
---|---|
ProblemDescription |
ProofSearchData.getProblemDescription() |
ProblemDescription |
_ProblemReader.read(java.io.Reader input)
Reads the problem description from the specified
Reader and returns
the corresponding ProblemDescription . |
Modifier and Type | Method and Description |
---|---|
_AbstractGoal |
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription inputProblem)
Build a goal from the specified problem description.
|
void |
_SingleExecutionConfigurator.configInitialNodeSetBuilder(ProblemDescription problemescrption,
Launcher.LaunchConfiguration launcherConfiguration)
This method is executed by the launcher immediately before invoking
_InitialGoalBuilder.buildInitialNodeSet(ProblemDescription) . |
Modifier and Type | Class and Description |
---|---|
class |
ILTPProblem
An object of this class describes a problem of the ILTP-library.
|
class |
JTabWbSimpleProblem
Pitp problem description only contains one conjecture, the propositional
formula to prove.
|
class |
PlainProblemDescription
A problem consisting of exactly one conjecture.
|
Modifier and Type | Method and Description |
---|---|
ProblemDescription |
ILTPProblemReader.read(java.io.Reader input)
Returns a problem-description of the problem read from the specified input
stream.
|