org.sat4j.reader
Class LecteurDimacs

java.lang.Object
  org.sat4j.reader.LecteurDimacs

All Implemented Interfaces:

java.io.Serializable, Reader

public class LecteurDimacs
extends java.lang.Object
implements Reader, java.io.Serializable

Dimacs Reader written by Frederic Laihem. It is much faster that DimacsReader.

Author:

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.
IProblem	parseInstance(java.lang.String nomFichier) lit la base de clauses et la met dans le vecteur donn?

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LecteurDimacs

public LecteurDimacs(ISolver s)

Method Detail

parseInstance

public IProblem parseInstance(java.lang.String nomFichier)
                       throws java.io.IOException,
                              ContradictionException

lit la base de clauses et la met dans le vecteur donn? en param?tre

Specified by:

parseInstance in interface Reader

Throws:

java.io.IOException

ContradictionException

decode

public java.lang.String decode(int[] model)

Description copied from interface: Reader

Produce a model using the reader format.

Specified by:

decode in interface Reader

Parameters:

model - a model using the Dimacs format.

Returns:

a human readable view of the model.