org.sat4j.reader
Class CardDimacsReader

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

All Implemented Interfaces:

java.io.Serializable, Reader

Deprecated.

@Deprecated
public class CardDimacsReader
extends DimacsReader

A reader for cardinality contraints.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

CardDimacsReader(ISolver solver)
Deprecated.

Method Summary

Methods inherited from class org.sat4j.reader.DimacsReader

decode, disableNumberOfConstraintCheck, parseInstance, parseInstance

Methods inherited from class java.lang.Object

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

Constructor Detail

CardDimacsReader

public CardDimacsReader(ISolver solver)

Deprecated.