aGrUM 3.0.0
a C++ library for (probabilistic) graphical models
minimalConditioningSet.h
Go to the documentation of this file.
1/****************************************************************************
2 * This file is part of the aGrUM/pyAgrum library. *
3 * *
4 * Copyright (c) 2005-2026 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-2026 *
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
56#ifndef GUM_GRAPH_MINIMAL_CONDITIONING_SET_H
57#define GUM_GRAPH_MINIMAL_CONDITIONING_SET_H
58
59#include <agrum/agrum.h>
60
62
63namespace gum::graph {
64
66
67 // Forward declarations for mutual recursion.
68 template < GUM_DiGraphable G >
69 void _mcsVisitUp_(const G& g,
70 NodeId node,
71 const NodeSet& soids,
72 NodeSet& minimal,
73 NodeSet& visitedUp,
74 NodeSet& visitedDn);
75
76 template < GUM_DiGraphable G >
77 void _mcsVisitDn_(const G& g,
78 NodeId node,
79 const NodeSet& soids,
80 NodeSet& minimal,
81 NodeSet& visitedUp,
82 NodeSet& visitedDn);
83
88 template < GUM_DiGraphable G >
89 void _mcsVisitUp_(const G& g,
90 NodeId node,
91 const NodeSet& soids,
92 NodeSet& minimal,
93 NodeSet& visitedUp,
94 NodeSet& visitedDn);
95
100 template < GUM_DiGraphable G >
101 void _mcsVisitDn_(const G& g,
102 NodeId node,
103 const NodeSet& soids,
104 NodeSet& minimal,
105 NodeSet& visitedUp,
106 NodeSet& visitedDn);
107
109
110
123 template < GUM_DiGraphable G >
124 NodeSet minimalCondSet(const G& g, NodeId target, const NodeSet& soids);
125
133 template < GUM_DiGraphable G >
134 NodeSet minimalCondSet(const G& g, const NodeSet& targets, const NodeSet& soids);
135
136} // namespace gum::graph
137
139
140#endif // GUM_GRAPH_MINIMAL_CONDITIONING_SET_H
C++20 concepts for aGrUM graph interfaces.
Size NodeId
Type for node ids.
Set< NodeId > NodeSet
Some typdefs and define for shortcuts ...
void _mcsVisitUp_(const G &g, NodeId node, const NodeSet &soids, NodeSet &minimal, NodeSet &visitedUp, NodeSet &visitedDn)
NodeSet minimalCondSet(const G &g, NodeId target, const NodeSet &soids)
Returns the minimal subset of soids that d-connects target.
void _mcsVisitDn_(const G &g, NodeId node, const NodeSet &soids, NodeSet &minimal, NodeSet &visitedUp, NodeSet &visitedDn)