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)
           
 

Method Detail

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.