File TestMaxSatSolver.hpp

• #include <set>
• #include <doctest/doctest.h>
• #include <paramita/maxsat/MaxSatSolver.hpp>
• #include <paramita/tests/maxsat/TestNonIncrMaxSatSolver.hpp>

Public Functions

Type	Name
bool	same_model (const std::vector< Literal > & m1, const std::vector< Literal > & m2)

Macros

Type	Name
define	GENERATE_DOCTESTS_FOR_MAXSAT_SOLVER (class_name) /* multi line expression */

Public Functions Documentation

function same_model

bool same_model (
    const std::vector< Literal > & m1,
    const std::vector< Literal > & m2
) 

---

Macro Definition Documentation

define GENERATE_DOCTESTS_FOR_MAXSAT_SOLVER

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

---