public class XMLCSPReader extends Reader
Constructor and Description |
---|
XMLCSPReader(ISolver solver,
boolean allDiffCard) |
Modifier and Type | Method and Description |
---|---|
String |
decode(int[] model)
Produce a model using the reader format.
|
void |
decode(int[] model,
PrintWriter out)
Produce a model using the reader format on a provided printwriter.
|
IProblem |
parseInstance(InputStream in)
Read a file from a stream.
|
IProblem |
parseInstance(Reader in)
Read a file from a reader.
|
IProblem |
parseInstance(String filename)
This is the usual method to feed a solver with a benchmark.
|
void |
setVerbosity(boolean b) |
public XMLCSPReader(ISolver solver, boolean allDiffCard)
public String decode(int[] model)
Reader
public void decode(int[] model, PrintWriter out)
Reader
public IProblem parseInstance(String filename) throws ParseFormatException, IOException, ContradictionException
Reader
parseInstance
in class Reader
filename
- the fully qualified name of the benchmark. The filename
extension may by used to detect which type of benchmarks it is
(SAT, OPB, MAXSAT, etc).ParseFormatException
- if an error occurs during parsing.IOException
- if an I/O error occurs.ContradictionException
- if the problem is found trivially inconsistent.public IProblem parseInstance(Reader in) throws ParseFormatException, ContradictionException, 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.IOException
- if an I/O error occurs.Reader.parseInstance(InputStream)
public IProblem parseInstance(InputStream in) throws ParseFormatException, ContradictionException, 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.IOException
- if an I/O error occurs.public void setVerbosity(boolean b)
setVerbosity
in class Reader
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.