org.sat4j.reader
Class LecteurDimacs
java.lang.Object
org.sat4j.reader.Reader
org.sat4j.reader.LecteurDimacs
- All Implemented Interfaces:
- java.io.Serializable
public class LecteurDimacs
- extends Reader
- implements java.io.Serializable
Dimacs Reader written by Frederic Laihem. It is much faster than
DimacsReader because it does not split the input file into strings
but reads and interpret the input char by char. Hence, it is a bit more
difficult to read and to modify than DimacsReader.
This reader is used during the SAT Competitions.
- Author:
- laihem, leberre
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LecteurDimacs
public LecteurDimacs(ISolver s)
parseInstance
public final IProblem parseInstance(java.io.InputStream in)
throws ParseFormatException,
ContradictionException,
java.io.IOException
- Overrides:
parseInstance
in class Reader
- Throws:
ParseFormatException
ContradictionException
java.io.IOException
parseInstance
public IProblem parseInstance(java.io.Reader in)
throws java.io.IOException,
ContradictionException
- Specified by:
parseInstance
in class Reader
- Throws:
java.io.IOException
ContradictionException
decode
public java.lang.String decode(int[] model)
- Description copied from class:
Reader
- Produce a model using the reader format.
- Specified by:
decode
in class Reader
- Parameters:
model
- a model using the Dimacs format.
- Returns:
- a human readable view of the model.