aGrUM 3.1.1
a C++ library for (probabilistic) graphical models
DFSCode.cpp
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
48
50
51#ifdef GUM_NO_INLINE
53#endif // GUM_NO_INLINE
54
55namespace gum {
56 namespace prm {
57 namespace gspan {
58
59 std::ostream& operator<<(std::ostream& out, const DFSCode& code) {
60 out << "[ ";
61 bool first = true;
62
63 for (const auto item: code.codes) {
64 if (!first) out << ", ";
65 out << *item;
66 first = false;
67 }
68
69 out << " ]";
70 return out;
71 }
72
73 bool DFSCode::operator==(const DFSCode& from) const {
74 if (codes.size() == from.codes.size()) {
75 for (size_t idx = 0; idx < codes.size(); ++idx) {
76 if ((*codes[idx]) != (*codes[idx])) { return false; }
77 }
78
79 return true;
80 } else {
81 return false;
82 }
83 }
84
85 bool DFSCode::operator!=(const DFSCode& from) const {
86 if (codes.size() == from.codes.size()) {
87 for (size_t idx = 0; idx < codes.size(); ++idx) {
88 if ((*codes[idx]) != (*codes[idx])) { return true; }
89 }
90
91 return false;
92 } else {
93 return true;
94 }
95 }
96
97 bool DFSCode::operator<(const DFSCode& from) const {
98 DFSCode::const_iterator iter = codes.begin();
99 DFSCode::const_iterator jter = from.codes.begin();
100
101 for (; (iter != codes.end()) && (jter != from.codes.end()); ++iter, ++jter) {
102 if ((**iter) != (**jter)) {
103 EdgeCode& alpha = **iter;
104 EdgeCode& beta = **jter;
105
106 if (alpha.isBackward()) {
107 if (beta.isForward()) {
108 return true;
109 } else if (alpha.j < beta.j) {
110 // beta is a backward edge
111 return true;
112 } else if ((alpha.j == beta.j) && (alpha.l_ij < beta.l_ij)) {
113 return true;
114 }
115
116 return false;
117 } else {
118 // alpha is a forward edge
119 if (beta.isBackward()) {
120 return false;
121 } else if (beta.i < alpha.i) {
122 // Beta is a forward edge
123 return true;
124 } else if (beta.i == alpha.i) {
125 if (alpha.l_i < beta.l_i) {
126 return true;
127 } else if (alpha.l_i == beta.l_i) {
128 if (alpha.l_ij < beta.l_ij) {
129 return true;
130 } else if (alpha.l_ij == beta.l_ij) {
131 return alpha.l_j < beta.l_j;
132 }
133 }
134 }
135
136 return false;
137 }
138
139 return (**iter) < (**jter);
140 }
141 }
142
143 return false;
144 }
145 } /* namespace gspan */
146 } /* namespace prm */
147} /* namespace gum */
Headers of a DFSCode.
Inline implementation of the DFSCode class.
Reprensent a Depth First Search coding of a graph.
Definition DFSCode.h:72
std::vector< EdgeCode * > codes
The vector containing the EdgeCode composing this DFSCode.
Definition DFSCode.h:109
bool operator==(const DFSCode &code) const
Equality operator.
Definition DFSCode.cpp:73
std::vector< EdgeCode * >::const_iterator const_iterator
Code alias.
Definition DFSCode.h:150
bool operator!=(const DFSCode &code) const
Difference operator.
Definition DFSCode.cpp:85
DFSCode()
Default constructor.
Definition DFSCode_inl.h:57
bool operator<(const DFSCode &code) const
Lesser than operator.
Definition DFSCode.cpp:97
std::ostream & operator<<(std::ostream &out, const DFSCode &code)
Print code in out.
Definition DFSCode.cpp:59
namespace for all probabilistic relational models entities
Definition agrum.h:68
gum is the global namespace for all aGrUM entities
Definition agrum.h:46
represent a DFS code used by gspan.
Definition edgeCode.h:72
Size l_i
The label of the first node in the code.
Definition edgeCode.h:103
NodeId i
The DFS subscript of the first node in the code.
Definition edgeCode.h:97
Size l_ij
The label of the edge in the code.
Definition edgeCode.h:106
bool isForward() const
Returns true if this EdgeCode is a forward edge.
NodeId j
The DFS subscript of the second node in the code.
Definition edgeCode.h:100
bool isBackward() const
Returns true if this EdgeCode is a backward edge.
Size l_j
The label of the second node in the code.
Definition edgeCode.h:109