51#if defined __LAL_DEBUG_DMax_Unc_BnB
59namespace unconstrained {
82#if defined __LAL_DEBUG_DMax_Unc_BnB
85[[nodiscard]]
inline constexpr std::string_view propagation_result_to_string
92 return "Propagation of level values conflicted";
94 return "Emulated propagation of level values conflicted";
103[[nodiscard]]
inline constexpr std::size_t propagation_result_to_index
105{
return static_cast<std::size_t
>(rd); }
110(
const std::size_t i)
noexcept
propagation_result
The possible results of the propagation of level values.
Definition propagation_result.hpp:67
@ success
The propagation did not fail.
@ conflict_LV_emulated_propagation
There was a conflict when emulating the propagation of level value.
@ conflict_LV_propagation
There was a conflict while propagating the level value.
Main namespace of the library.
Definition basic_types.hpp:48