File TestNonIncrMaxSatSolver.hpp

• #include <cmath>
• #include <doctest/doctest.h>
• #include <paramita/maxsat/MaxSatSolver.hpp>
• #include <paramita/maxsat/NonIncrMaxSatSolver.hpp>
• #include <paramita/tests/maxsat/TestWClauseContainer.hpp>
• #include <paramita/tests/utils.hpp>
• #include <unordered_set>
• #include <utility>

Macros

Type	Name
define	DOCTEST_VALUE_PARAMETERIZED_DATA (data, data_container) /* multi line expression */
define	GENERATE_DOCTESTS_FOR_NON_INCR_MAXSAT_SOLVER (class_name) /* multi line expression */

Macro Definition Documentation

define DOCTEST_VALUE_PARAMETERIZED_DATA

#define DOCTEST_VALUE_PARAMETERIZED_DATA (
    data,
    data_container
) `/* multi line expression */`

---

define GENERATE_DOCTESTS_FOR_NON_INCR_MAXSAT_SOLVER

#define GENERATE_DOCTESTS_FOR_NON_INCR_MAXSAT_SOLVER (
    class_name
) `/* multi line expression */`

---