LAL: Linear Arrangement Library 24.10.00
A library focused on algorithms on linear arrangements of graphs.
Loading...
Searching...
No Matches
propagation_result.hpp
1/*********************************************************************
2 *
3 * Linear Arrangement Library - A library that implements a collection
4 * algorithms for linear arrangments of graphs.
5 *
6 * Copyright (C) 2019 - 2024
7 *
8 * This file is part of Linear Arrangement Library. The full code is available
9 * at:
10 * https://github.com/LAL-project/linear-arrangement-library.git
11 *
12 * Linear Arrangement Library is free software: you can redistribute it
13 * and/or modify it under the terms of the GNU Affero General Public License
14 * as published by the Free Software Foundation, either version 3 of the
15 * License, or (at your option) any later version.
16 *
17 * Linear Arrangement Library is distributed in the hope that it will be
18 * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU Affero General Public License for more details.
21 *
22 * You should have received a copy of the GNU Affero General Public License
23 * along with Linear Arrangement Library. If not, see <http://www.gnu.org/licenses/>.
24 *
25 * Contact:
26 *
27 * LluĂ­s Alemany Puig (lluis.alemany.puig@upc.edu)
28 * LQMC (Quantitative, Mathematical, and Computational Linguisitcs)
29 * CQL (Complexity and Quantitative Linguistics Lab)
30 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
31 * Webpage: https://cqllab.upc.edu/people/lalemany/
32 *
33 * Juan Luis Esteban (esteban@cs.upc.edu)
34 * LOGPROG: Logics and Programming Research Group
35 * Office 110, Omega building
36 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
37 * Webpage: https://www.cs.upc.edu/~esteban/
38 *
39 * Ramon Ferrer i Cancho (rferrericancho@cs.upc.edu)
40 * LQMC (Quantitative, Mathematical, and Computational Linguisitcs)
41 * CQL (Complexity and Quantitative Linguistics Lab)
42 * Office 220, Omega building
43 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
44 * Webpage: https://cqllab.upc.edu/people/rferrericancho/
45 *
46 ********************************************************************/
47
48#pragma once
49
50// C++ includes
51#if defined __LAL_DEBUG_DMax_Unc_BnB
52#include <string_view>
53#endif
54#include <cstdint>
55
56namespace lal {
57namespace detail {
58namespace DMax {
59namespace unconstrained {
60
81
82#if defined __LAL_DEBUG_DMax_Unc_BnB
85[[nodiscard]] inline constexpr std::string_view propagation_result_to_string
86(const propagation_result at) noexcept
87{
88 switch (at) {
90 return "Success";
92 return "Propagation of level values conflicted";
94 return "Emulated propagation of level values conflicted";
96 return "?";
97 }
98 return "";
99}
100
103[[nodiscard]] inline constexpr std::size_t propagation_result_to_index
104(const propagation_result rd) noexcept
105{ return static_cast<std::size_t>(rd); }
106
109[[nodiscard]] inline constexpr propagation_result index_to_propagation_result
110(const std::size_t i) noexcept
111{ return static_cast<propagation_result>(i); }
112#endif
113
114} // -- namespace unconstrained
115} // -- namespace DMax
116} // -- namespace detail
117} // -- namespace lal
propagation_result
The possible results of the propagation of level values.
Definition propagation_result.hpp:67
@ 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