File TestClauseContainer.hpp

• #include <memory>
• #include <string>
• #include <vector>
• #include <doctest/doctest.h>
• #include <paramita/Exceptions.hpp>
• #include <paramita/definitions.hpp>
• #include <paramita/sat/ClauseContainer.hpp>
• #include <paramita/tests/plugin/TestPlugin.hpp>
• #include <paramita/tests/utils.hpp>
• #include <algorithm>

Public Attributes

Type	Name
auto	copy_nclauses = /* multi line expression */

Public Functions

Type	Name
	CHECK_EQ (copy_nvars, before_nvars)
	CHECK_EQ (copy_nclauses, before_nclauses)
	SUBCASE ("Test multiple clones interaction with max_var")
	max_var ()

Macros

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

Public Attributes Documentation

variable copy_nclauses

auto copy_nclauses;

---

Public Functions Documentation

function CHECK_EQ

CHECK_EQ (
    copy_nvars,
    before_nvars
) 

---

function CHECK_EQ

CHECK_EQ (
    copy_nclauses,
    before_nclauses
) 

---

function SUBCASE

SUBCASE (
    "Test multiple clones interaction with max_var"
) 

---

function max_var

template<>
max_var () 

---

Macro Definition Documentation

define DOCTEST_VALUE_PARAMETERIZED_DATA

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

---

define GENERATE_DOCTESTS_FOR_CLAUSE_CONTAINER

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

---