OKlibrary  0.2.1.6
CLSAdaptorMinOnes2PseudoBoolean Class Reference

Adaptor for clause-sets for output in DIMACS format. More...


Detailed Description

Adaptor for clause-sets for output in DIMACS format.

Parameter n is considered as maximal possible variable index, while parameter c is considered as upper bound on the number of clauses.

The role of the template parameters are as follows:

  1. Int is the integral type for the Dimacs literals.
  2. String is the string type for comments.
  3. AdaptorStatistics is a CLSAdaptor which handles statistics.

The documentation for this class was generated from the following file: