org.sat4j.reader
Class LecteurDimacs

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by 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

Constructor Summary
LecteurDimacs(ISolver s)
           
 
Method Summary
 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)
           
 IProblem parseInstance(java.io.Reader in)
           
 
Methods inherited from class org.sat4j.reader.Reader
isVerbose, parseInstance, setVerbosity
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LecteurDimacs

public LecteurDimacs(ISolver s)
Method Detail

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.

decode

public void decode(int[] model,
                   java.io.PrintWriter out)
Description copied from class: Reader
Produce a model using the reader format on a provided printwriter.

Specified by:
decode in class Reader
Parameters:
model - a model using the Dimacs format.
out - the place where to display the model


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.