File TestNonIncrSatSolver.hpp

• #include <doctest/doctest.h>
• #include <functional>
• #include <paramita/sat/NonIncrSatSolver.hpp>
• #include <paramita/sat/SatSolver.hpp>
• #include <paramita/tests/sat/TestClauseContainer.hpp>
• #include <type_traits>
• #include <vector>
• #include <paramita/doctest_utils.hpp>

Public Functions

Type	Name
	CHECK (res. has_value)
	CHECK_FALSE (res. value)
	SUBCASE ("returns false on solve with assumptions")
	solve ({}, budget)

Macros

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

Public Functions Documentation

function CHECK

CHECK (
    res. has_value
) 

---

function CHECK_FALSE

CHECK_FALSE (
    res. value
) 

---

function SUBCASE

SUBCASE (
    "returns false on solve with assumptions"
) 

---

function solve

template<>
solve (
    {},
    budget
) 

---

Macro Definition Documentation

define GENERATE_DOCTESTS_FOR_NON_INCR_SAT_SOLVER

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

---