org.sat4j.reader
Class CardDimacsReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.DimacsReader
          org.sat4j.reader.CardDimacsReader

All Implemented Interfaces:

java.io.Serializable

Deprecated.

@Deprecated
public class CardDimacsReader
extends DimacsReader

A reader for cardinality contraints.

Author:

leberre

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, solver

Constructor Summary

CardDimacsReader(ISolver solver)
Deprecated.

Method Summary

protected void

readConstrs(java.io.LineNumberReader in) Deprecated.

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, getSolver, handleConstr, parseInstance, readProblemLine, skipComments

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

CardDimacsReader

public CardDimacsReader(ISolver solver)

Deprecated.

Method Detail

readConstrs

protected void readConstrs(java.io.LineNumberReader in)
                    throws java.io.IOException,
                           ParseFormatException,
                           ContradictionException

Deprecated.

Overrides:

readConstrs in class DimacsReader

Parameters:

in - the input stream

Throws:

java.io.IOException - iff an IO problems occurs

ParseFormatException - if the input stream does not comply with the DIMACS format.

ContradictionException - si le probl?me est trivialement inconsistant.