File TestPlugin.hpp

• #include <doctest/doctest.h>
• #include <memory>
• #include <paramita/Exceptions.hpp>
• #include <paramita/plugin/Plugin.hpp>
• #include <paramita/sat/SatSolver.hpp>
• #include <paramita/sat/PbToCnfEncoder.hpp>
• #include <paramita/sat/NonIncrSatSolver.hpp>
• #include <paramita/tests/DummyImplementations.hpp>

Macros

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

Macro Definition Documentation

define GENERATE_DOCTESTS_FOR_PLUGIN

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

---