aGrUM
3.2.0
a C++ library for (probabilistic) graphical models
Toggle main menu visibility
multiDimFunctionGraphOperator.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
50
51
#ifndef GUM_MULTI_DIM_FUNCTION_GRAPH_OPERATOR_H
52
#define GUM_MULTI_DIM_FUNCTION_GRAPH_OPERATOR_H
53
54
#include <functional>
55
56
#include <
agrum/base/multidim/utils/FunctionGraphUtilities/operators/o4DGContext.h
>
57
58
namespace
gum
{
59
60
// clang-format off
68
// clang-format on
69
70
template
<
typename
GUM_ELEMENT,
71
template
<
typename
>
class
FUNCTOR,
72
template
<
typename
>
class
TerminalNodePolicy =
ExactTerminalNodePolicy
>
73
class
MultiDimFunctionGraphOperator
{
74
public
:
75
// ============================================================================
77
// ============================================================================
79
83
MultiDimFunctionGraphOperator
(
84
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
* DG1,
85
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
* DG2);
86
90
~MultiDimFunctionGraphOperator
();
91
93
// ============================================================================
95
// ============================================================================
97
102
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
*
compute
();
103
105
106
Idx
nbCall
();
107
Idx
nbVarRetro
();
108
Idx
sizeVarRetroDomain
();
109
110
private
:
111
Idx
_nbCall_
;
112
Idx
_nbVarRetro_
;
113
Idx
_sizeVarRetro_
;
114
117
void
_establishVarOrder_
();
118
121
Idx
_distance_
(
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
*,
122
const
DiscreteVariable
*,
123
const
DiscreteVariable
*);
124
127
void
_findRetrogradeVariables_
(
128
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
* dg,
129
HashTable< NodeId, short int* >
& dgInstNeed);
130
132
NodeId
_compute_
(
O4DGContext
& currentSituation,
Idx
lastInstVarPos);
133
135
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
*
_DG1_
;
136
138
const
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
*
_DG2_
;
139
141
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
*
_rd_
;
142
144
Idx
_nbVar_
;
145
147
const
FUNCTOR< GUM_ELEMENT >
_function_
;
148
151
HashTable< double, NodeId >
_explorationTable_
;
152
155
HashTable< NodeId, short int* >
_DG1InstantiationNeeded_
;
156
159
HashTable< NodeId, short int* >
_DG2InstantiationNeeded_
;
160
162
short
int
*
_default_
;
163
};
164
165
#ifndef GUM_NO_EXTERN_TEMPLATE_CLASS
166
extern
template
class
MultiDimFunctionGraphOperator< double, std::plus >
;
167
#endif
168
169
}
// namespace gum
170
171
#include <
agrum/base/multidim/utils/FunctionGraphUtilities/operators/multiDimFunctionGraphOperator_tpl.h
>
172
173
#endif
// GUM_MULTI_DIM_FUNCTION_GRAPH_OPERATOR_H
gum::DiscreteVariable
Base class for discrete random variable.
Definition
discreteVariable.h:80
gum::ExactTerminalNodePolicy
Implementation of a Terminal Node Policy that maps nodeid directly to value.
Definition
ExactTerminalNodePolicy.h:69
gum::HashTable
The class for generic Hash Tables.
Definition
hashTable.h:640
gum::MultiDimFunctionGraphOperator
Class used to perform Function Graph Operations.
Definition
multiDimFunctionGraphOperator.h:73
gum::MultiDimFunctionGraphOperator::_default_
short int * _default_
Just a comptuationnal trick.
Definition
multiDimFunctionGraphOperator.h:162
gum::MultiDimFunctionGraphOperator::_establishVarOrder_
void _establishVarOrder_()
Computes an order for the final Decision graph that will minimize the number of re exploration.
Definition
multiDimFunctionGraphOperator_tpl.h:133
gum::MultiDimFunctionGraphOperator::_DG1_
const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > * _DG1_
One of the two function graphs used for the operation.
Definition
multiDimFunctionGraphOperator.h:135
gum::MultiDimFunctionGraphOperator::MultiDimFunctionGraphOperator
MultiDimFunctionGraphOperator(const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > *DG1, const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > *DG2)
Default constructor.
Definition
multiDimFunctionGraphOperator_tpl.h:61
gum::MultiDimFunctionGraphOperator::_DG1InstantiationNeeded_
HashTable< NodeId, short int * > _DG1InstantiationNeeded_
Table uses to know if a given node of first function graph has retrograde vrariables.
Definition
multiDimFunctionGraphOperator.h:155
gum::MultiDimFunctionGraphOperator::_DG2_
const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > * _DG2_
The other one.
Definition
multiDimFunctionGraphOperator.h:138
gum::MultiDimFunctionGraphOperator::_nbCall_
Idx _nbCall_
Definition
multiDimFunctionGraphOperator.h:111
gum::MultiDimFunctionGraphOperator::_nbVarRetro_
Idx _nbVarRetro_
Definition
multiDimFunctionGraphOperator.h:112
gum::MultiDimFunctionGraphOperator::_nbVar_
Idx _nbVar_
The total number of variable implied in the operation.
Definition
multiDimFunctionGraphOperator.h:144
gum::MultiDimFunctionGraphOperator::_rd_
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > * _rd_
The resulting function graph.
Definition
multiDimFunctionGraphOperator.h:141
gum::MultiDimFunctionGraphOperator::_explorationTable_
HashTable< double, NodeId > _explorationTable_
The hashtable used to know if two pair of nodes have already been visited.
Definition
multiDimFunctionGraphOperator.h:151
gum::MultiDimFunctionGraphOperator::_DG2InstantiationNeeded_
HashTable< NodeId, short int * > _DG2InstantiationNeeded_
Table uses to know if a given node of second function graph has retrograde vrariables.
Definition
multiDimFunctionGraphOperator.h:159
gum::MultiDimFunctionGraphOperator::_distance_
Idx _distance_(const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > *, const DiscreteVariable *, const DiscreteVariable *)
Heuristic methods to decide which of two retrograde variables should come first.
Definition
multiDimFunctionGraphOperator_tpl.h:224
gum::MultiDimFunctionGraphOperator::sizeVarRetroDomain
Idx sizeVarRetroDomain()
Definition
multiDimFunctionGraphOperator_tpl.h:551
gum::MultiDimFunctionGraphOperator::compute
MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > * compute()
Computes and builds the Function Graph that is the result of the operation.
Definition
multiDimFunctionGraphOperator_tpl.h:103
gum::MultiDimFunctionGraphOperator::_sizeVarRetro_
Idx _sizeVarRetro_
Definition
multiDimFunctionGraphOperator.h:113
gum::MultiDimFunctionGraphOperator::_compute_
NodeId _compute_(O4DGContext ¤tSituation, Idx lastInstVarPos)
The main recursion function.
Definition
multiDimFunctionGraphOperator_tpl.h:333
gum::MultiDimFunctionGraphOperator::nbVarRetro
Idx nbVarRetro()
Definition
multiDimFunctionGraphOperator_tpl.h:543
gum::MultiDimFunctionGraphOperator::nbCall
Idx nbCall()
Definition
multiDimFunctionGraphOperator_tpl.h:536
gum::MultiDimFunctionGraphOperator::_function_
const FUNCTOR< GUM_ELEMENT > _function_
The function to be performed on the leaves.
Definition
multiDimFunctionGraphOperator.h:147
gum::MultiDimFunctionGraphOperator::_findRetrogradeVariables_
void _findRetrogradeVariables_(const MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy > *dg, HashTable< NodeId, short int * > &dgInstNeed)
Establish for each node in both function graph if it has retrograde variables beneath it.
Definition
multiDimFunctionGraphOperator_tpl.h:245
gum::MultiDimFunctionGraph< GUM_ELEMENT, TerminalNodePolicy >
gum::O4DGContext
Class used to manipulate context during Function Graph Operations.
Definition
o4DGContext.h:70
gum::Idx
Size Idx
Type for indexes.
Definition
types.h:79
gum::NodeId
Size NodeId
Type for node ids.
Definition
graphElements.h:117
multiDimFunctionGraphOperator_tpl.h
Class used to compute the operation between two decision diagrams.
gum
gum is the global namespace for all aGrUM entities
Definition
agrum.h:46
o4DGContext.h
Class used to manipulate o4DGContext in Function Graph Operations.
aGrUM
3.2.0
© PHW&CG&others - 2022
DoXyGeN 1.18.0