LAL: Linear Arrangement Library 21.07.01
A library focused on algorithms on linear arrangements of graphs.
Loading...
Searching...
No Matches
all_ulab_free_trees.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 - 2021
7 *
8 * This file is part of Linear Arrangement Library. To see the full code
9 * visit the webpage:
10 * https://github.com/lluisalemanypuig/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 (lalemany@cs.upc.edu)
28 * LARCA (Laboratory for Relational Algorithmics, Complexity and Learning)
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 * Ramon Ferrer i Cancho (rferrericancho@cs.upc.edu)
34 * LARCA (Laboratory for Relational Algorithmics, Complexity and Learning)
35 * CQL (Complexity and Quantitative Linguistics Lab)
36 * Office S124, Omega building
37 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
38 * Webpage: https://cqllab.upc.edu/people/rferrericancho/
39 *
40 ********************************************************************/
41
42#pragma once
43
44// lal includes
45#include <lal/graphs/free_tree.hpp>
46#include <lal/generate/tree_generator.hpp>
47#include <lal/internal/data_array.hpp>
48
49namespace lal {
50namespace generate {
51
99class all_ulab_free_trees : public _tree_generator<graphs::free_tree> {
100public:
105 all_ulab_free_trees(uint32_t n) noexcept;
111#ifndef SWIG
117#endif
119 ~all_ulab_free_trees() noexcept = default;
120
121 /* GETTERS */
122
124 inline bool end() const noexcept { return m_reached_end; }
125
126 /* MODIFIERS */
127
135 void next() noexcept;
136
138 inline void reset() noexcept {
139 __reset();
140 next();
141 }
142
143 inline graphs::free_tree yield_tree() noexcept {
144 const auto t = get_tree();
145 next();
146 return t;
147 }
148
149protected:
157
159 void __reset() noexcept;
160
161private:
163 internal::data_array<uint32_t> m_L;
168 internal::data_array<uint32_t> m_W;
169
171 uint32_t m_p;
173 uint32_t m_q;
174
176 uint32_t m_h1;
178 uint32_t m_h2;
179
185 uint32_t m_c;
191 uint32_t m_r;
192
194 bool m_is_last = false;
196 bool m_first_it = true;
198 bool m_reached_end = false;
199};
200
201} // -- namespace generate
202} // -- namespace lal
Base class for tree generators.
Definition tree_generator.hpp:87
tree_type_t get_tree() noexcept
Definition tree_generator.hpp:146
Exhaustive enumeration of unlabelled free trees.
Definition all_ulab_free_trees.hpp:99
bool m_reached_end
Has the end of the generation been reached?
Definition all_ulab_free_trees.hpp:198
void reset() noexcept
Sets the generator to its initial state.
Definition all_ulab_free_trees.hpp:138
uint32_t m_r
Exactly .
Definition all_ulab_free_trees.hpp:191
void __reset() noexcept
Sets the generator to its initial state.
uint32_t m_h2
Maximum level number in the second principal subsequence.
Definition all_ulab_free_trees.hpp:178
bool end() const noexcept
Returns true if the end of the iteration was reached.
Definition all_ulab_free_trees.hpp:124
bool m_is_last
Was the last tree generated?
Definition all_ulab_free_trees.hpp:194
bool m_first_it
First time calling next().
Definition all_ulab_free_trees.hpp:196
all_ulab_free_trees(uint32_t n) noexcept
Constructor with number of nodes.
uint32_t m_q
Largest integer such that .
Definition all_ulab_free_trees.hpp:173
internal::data_array< uint32_t > m_L
Canonical level sequence of the tree.
Definition all_ulab_free_trees.hpp:163
uint32_t m_h1
Maximum level number in the first principal subsequence.
Definition all_ulab_free_trees.hpp:176
internal::data_array< uint32_t > m_W
is the subscript of the level number in corresponding to the parent of the node corresponding to .
Definition all_ulab_free_trees.hpp:168
graphs::free_tree yield_tree() noexcept
Yields a tree, advancing the generator if necessary.
Definition all_ulab_free_trees.hpp:143
uint32_t m_p
Largest integer such that .
Definition all_ulab_free_trees.hpp:171
~all_ulab_free_trees() noexcept=default
Default destructor.
all_ulab_free_trees(const all_ulab_free_trees &Gen)=default
Copy constructor.
void next() noexcept
Generates next tree.
graphs::free_tree __get_tree() noexcept
Constructs the current tree.
all_ulab_free_trees(all_ulab_free_trees &&Gen)=default
Move constructor.
uint32_t m_c
An index to the first element of .
Definition all_ulab_free_trees.hpp:185
Free tree graph class.
Definition free_tree.hpp:59
Main namespace of the library.
Definition definitions.hpp:48