Package | Description |
---|---|
jtabwbx.problems |
Problem description reader for problems of the ILTP library.
|
Modifier and Type | Method and Description |
---|---|
JTabWbSimpleProblem |
PlainProblemReader.read(java.io.Reader input)
Returns the problem description build from the specified input stream; the
specified input stream is supposed to contain only one line describing the
formula.
|
JTabWbSimpleProblem |
JTabWbSimpleProblemReader.read(java.io.Reader input)
Returns the problem description corresponding to the PITP problem
description read from the specified stream.
|