public class AAGReader extends Reader
Modifier and Type | Method and Description |
---|---|
java.lang.String |
decode(int[] model)
Produce a model using the reader format.
|
void |
decode(int[] model,
java.io.PrintWriter out)
Produce a model using the reader format on a provided printwriter.
|
IProblem |
parseInstance(java.io.InputStream in)
Read a file from a stream.
|
isVerbose, parseInstance, parseInstance, setVerbosity
public java.lang.String decode(int[] model)
Reader
public void decode(int[] model, java.io.PrintWriter out)
Reader
public IProblem parseInstance(java.io.InputStream in) throws ParseFormatException, ContradictionException, java.io.IOException
Reader
parseInstance
in class Reader
in
- a stream containing the benchmark.ParseFormatException
- if an error occurs during parsing.ContradictionException
- if the problem is found trivially inconsistent.java.io.IOException
- if an I/O error occurs.