File TestPbToCnfEncoder.hpp

• #include <cmath>
• #include <doctest/doctest.h>
• #include <paramita/Exceptions.hpp>
• #include <paramita/definitions.hpp>
• #include <paramita/sat/PbToCnfEncoder.hpp>
• #include <paramita/tests/implementations.hpp>
• #include <paramita/tests/plugin/TestPlugin.hpp>
• #include <paramita/tests/utils.hpp>

Namespaces

Type	Name
namespace	test_utils

Macros

Type	Name
define	DOCTEST_VALUE_PARAMETERIZED_DATA (data, data_container) /* multi line expression */
define	GENERATE_DOCTESTS_FOR_PB_ENCODER_INTERFACE (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_PB_ENCODER_INTERFACE

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

---