aGrUM 2.3.2
a C++ library for (probabilistic) graphical models
eliminationSequenceStrategy.h
Go to the documentation of this file.
1/****************************************************************************
2 * This file is part of the aGrUM/pyAgrum library. *
3 * *
4 * Copyright (c) 2005-2025 by *
5 * - Pierre-Henri WUILLEMIN(_at_LIP6) *
6 * - Christophe GONZALES(_at_AMU) *
7 * *
8 * The aGrUM/pyAgrum library is free software; you can redistribute it *
9 * and/or modify it under the terms of either : *
10 * *
11 * - the GNU Lesser General Public License as published by *
12 * the Free Software Foundation, either version 3 of the License, *
13 * or (at your option) any later version, *
14 * - the MIT license (MIT), *
15 * - or both in dual license, as here. *
16 * *
17 * (see https://agrum.gitlab.io/articles/dual-licenses-lgplv3mit.html) *
18 * *
19 * This aGrUM/pyAgrum library is distributed in the hope that it will be *
20 * useful, but WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, *
21 * INCLUDING BUT NOT LIMITED TO THE WARRANTIES MERCHANTABILITY or FITNESS *
22 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE *
23 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, *
25 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR *
26 * OTHER DEALINGS IN THE SOFTWARE. *
27 * *
28 * See LICENCES for more details. *
29 * *
30 * SPDX-FileCopyrightText: Copyright 2005-2025 *
31 * - Pierre-Henri WUILLEMIN(_at_LIP6) *
32 * - Christophe GONZALES(_at_AMU) *
33 * SPDX-License-Identifier: LGPL-3.0-or-later OR MIT *
34 * *
35 * Contact : info_at_agrum_dot_org *
36 * homepage : http://agrum.gitlab.io *
37 * gitlab : https://gitlab.com/agrumery/agrum *
38 * *
39 ****************************************************************************/
40
41
51
52#ifndef GUM_ELIMINATION_SEQUENCE_STRATEGY_H
53#define GUM_ELIMINATION_SEQUENCE_STRATEGY_H
54
55#include <agrum/agrum.h>
56
58
59namespace gum {
60
69 public:
70 // ############################################################################
72 // ############################################################################
74
77
83
85
87
89
90
91 // ############################################################################
93 // ############################################################################
95
97
111 virtual bool setGraph(UndiGraph* graph, const NodeProperty< Size >* dom_sizes);
112
114
117
126 virtual void askFillIns(bool do_it) = 0;
127
136 virtual bool providesFillIns() const = 0;
137
148 virtual bool providesGraphUpdate() const = 0;
149
151
153 virtual void eliminationUpdate(const NodeId node);
154
157 virtual const EdgeSet& fillIns();
158
161 virtual void clear();
162
164 UndiGraph* graph() const noexcept;
165
167 const NodeProperty< Size >* domainSizes() const noexcept;
168
170
171
172 protected:
174 UndiGraph* graph_{nullptr};
175
178
181
182
183 // ############################################################################
185 // ############################################################################
187
190
193
196
199
201
202 private:
204 static const EdgeSet& _empty_fill_ins_();
205 };
206
207
208} /* namespace gum */
209
210
211#ifndef GUM_NO_INLINE
213#endif // GU%_NO_INLINE
214
215
216#endif /* GUM_ELIMINATION_SEQUENCE_STRATEGY_H */
virtual bool setGraph(UndiGraph *graph, const NodeProperty< Size > *dom_sizes)
sets a new graph to be triangulated
virtual bool providesFillIns() const =0
indicates whether the fill-ins generated by the eliminated nodes, if needed, will be computed by the ...
NodeProperty< double > log_domain_sizes_
the log of the domain sizes of the variables/nodes
virtual EliminationSequenceStrategy * copyFactory() const =0
virtual copy constructor
virtual bool providesGraphUpdate() const =0
indicates whether the elimination sequence updates by itself the graph after a node has been eliminat...
virtual EliminationSequenceStrategy * newFactory() const =0
creates a new elimination sequence of the same type as the current object, but this sequence contains...
const NodeProperty< Size > * domain_sizes_
the domain sizes of the variables/nodes
virtual void askFillIns(bool do_it)=0
if the elimination sequence is able to compute fill-ins, we indicate whether we want this feature to ...
UndiGraph * graph_
the graph to be triangulated
static const EdgeSet & _empty_fill_ins_()
an empty fill-ins set used by default
virtual void clear()
clears the sequence (to prepare, for instance, a new elimination sequence)
UndiGraph * graph() const noexcept
returns the current graph
virtual NodeId nextNodeToEliminate()=0
returns the new node to be eliminated within the triangulation algorithm
virtual void eliminationUpdate(const NodeId node)
performs all the graph/fill-ins updates provided (if any)
virtual const EdgeSet & fillIns()
in case fill-ins are provided, this function returns the fill-ins due to all the nodes eliminated so ...
const NodeProperty< Size > * domainSizes() const noexcept
returns the current domain sizes
Base class for undirected graphs.
Definition undiGraph.h:128
Base Class for all elimination sequence algorithms used by triangulations.
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition types.h:74
Set< Edge > EdgeSet
Some typdefs and define for shortcuts ...
Size NodeId
Type for node ids.
HashTable< NodeId, VAL > NodeProperty
Property on graph elements.
gum is the global namespace for all aGrUM entities
Definition agrum.h:46
Base classes for undirected graphs.