org.sat4j.reader
Interface Reader
- All Known Implementing Classes:
- CardDimacsReader, CSPReader, DimacsReader, ExtendedDimacsReader, GoodOPBReader, InstanceReader, LecteurDimacs, OPBReader2005
public interface Reader
A reader is responsible to feed an ISolver from a text file
and to convert the model found by the solver to a textual representation.
- Author:
- leberre
Method Summary |
java.lang.String |
decode(int[] model)
Produce a model using the reader format. |
IProblem |
parseInstance(java.lang.String filename)
|
parseInstance
IProblem parseInstance(java.lang.String filename)
throws java.io.FileNotFoundException,
ParseFormatException,
java.io.IOException,
ContradictionException
- Throws:
java.io.FileNotFoundException
ParseFormatException
java.io.IOException
ContradictionException
decode
java.lang.String decode(int[] model)
- Produce a model using the reader format.
- Parameters:
model
- a model using the Dimacs format.
- Returns:
- a human readable view of the model.