File TestWClauseContainer.hpp

• #include <doctest/doctest.h>
• #include <paramita/Exceptions.hpp>
• #include <paramita/maxsat/WClauseContainer.hpp>
• #include <paramita/tests/plugin/TestPlugin.hpp>

Macros

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

Macro Definition Documentation

define GENERATE_DOCTESTS_FOR_WEIGHTED_CLAUSE_CONTAINER

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

---