aGrUM 3.1.1
a C++ library for (probabilistic) graphical models
gum::DiGraph Class Reference

Base class for all oriented graphs. More...

#include <diGraph.h>

Inheritance diagram for gum::DiGraph:
Collaboration diagram for gum::DiGraph:

Public Types

using NodeIterator = NodeGraphPartIterator
using NodeConstIterator = NodeGraphPartIterator
using NodeIteratorSafe = NodeGraphPartIteratorSafe
using NodeConstIteratorSafe = NodeGraphPartIteratorSafe
using ArcIterator = ArcSetIterator
using node_iterator = NodeGraphPartIterator
 types for STL compliance
using node_const_iterator = NodeGraphPartIterator
 types for STL compliance
using node_iterator_safe = NodeGraphPartIteratorSafe
 types for STL compliance
using node_const_iterator_safe = NodeGraphPartIteratorSafe
 types for STL compliance

Public Member Functions

bool hasDirectedPath (NodeId from, NodeId to) const
 checks whether there exists a directed path from from to to
std::optional< std::vector< NodeId > > directedPath (NodeId node1, NodeId node2) const
 returns a directed path from node1 to node2, or std::nullopt if none
std::optional< std::vector< NodeId > > directedUnorientedPath (NodeId node1, NodeId node2) const
 returns a shortest path from node1 to node2 ignoring arc orientation, or std::nullopt if none
NodeSet ancestors (NodeId id) const
 returns the set of all ancestors of id (nodes from which id is reachable)
NodeSet descendants (NodeId id) const
 returns the set of all descendants of id (nodes reachable from id)
NodeSet family (NodeId id) const
 returns { id } ∪ parents(id)
NodeSet family (const NodeSet &ids) const
 returns the union of families of all nodes in ids
NodeProperty< NodeIdconnectedComponents () const
 returns a property {node:id of weakly connected component}
Operators
DiGraphoperator= (const DiGraph &g)
 copy operator
DiGraphoperator= (DiGraph &&g)
 move assignment operator
bool operator== (const DiGraph &g) const
 tests whether two DiGraphs are identical (same nodes, same arcs)
Accessors/Modifiers

tests whether two DiGraphs are different

Parameters
gthe DiGraph with which "this" is compared
void addArc (const NodeId tail, const NodeId head) override
 insert a new arc into the directed graph
void eraseNode (const NodeId id) override
 remove a node and its adjacent arcs from the graph
void clear () override
 removes all the nodes and arcs from the graph
std::string toString () const override
 to friendly display the content of the graph
virtual std::string toDot () const
 to friendly display the content of the graph in the DOT syntax
Sequence< NodeIdtopologicalOrder () const
 Build and return a topological order.
Operators
bool operator== (const NodeGraphPart &p) const
 check whether two NodeGraphParts contain the same nodes
Accessors/Modifiers
void populateNodes (const NodeGraphPart &s)
 populateNodes clears *this and fills it with the same nodes as "s"
template<typename T>
void populateNodesFromProperty (const NodeProperty< T > &h)
 populateNodesFromProperty clears *this and fills it with the keys of "h"
NodeId nextNodeId () const
 returns a new node id, not yet used by any node
virtual NodeId addNode ()
 insert a new node and return its id
std::vector< NodeIdaddNodes (Size n)
 insert n nodes
virtual void addNodeWithId (const NodeId id)
 try to insert a node with the given id
bool existsNode (const NodeId id) const
 returns true iff the NodeGraphPart contains the given nodeId
bool exists (const NodeId id) const
 alias for existsNode
bool emptyNodes () const
 indicates whether there exists nodes in the NodeGraphPart
bool empty () const
 alias for emptyNodes
virtual void clearNodes ()
 remove all the nodes from the NodeGraphPart
Size sizeNodes () const
 returns the number of nodes in the NodeGraphPart
Size size () const
 alias for sizeNodes
NodeId bound () const
 returns a number n such that all node ids are strictly lower than n
NodeSet asNodeSet () const
 returns a copy of the set of nodes represented by the NodeGraphPart
const NodeGraphPartnodes () const
 return *this as a NodeGraphPart
node_iterator_safe beginSafe () const
 a begin iterator to parse the set of nodes contained in the NodeGraphPart
const node_iterator_safeendSafe () const noexcept
 the end iterator to parse the set of nodes contained in the NodeGraphPart
node_iterator begin () const noexcept
 a begin iterator to parse the set of nodes contained in the NodeGraphPart
const node_iteratorend () const noexcept
 the end iterator to parse the set of nodes contained in the NodeGraphPart
std::string nameFromId (NodeId id) const
 returns the name of node id, or "<id>" if no name is set
std::optional< NodeIdidFromName (const std::string &name) const
 returns the id of the node with the given name, or std::nullopt
void setName (NodeId id, const std::string &name)
 sets the name of node id
bool hasName (NodeId id) const
 returns true iff node id has an explicit name
std::string dotNodeLabel (NodeId id) const
 returns " [label=\"...\"]" with DOT-escaped name, or "" if no name
template<typename VAL>
NodeProperty< VAL > nodesPropertyFromFunction (VAL(*f)(const NodeId &), Size size=0) const
 a method to create a HashTable with key:NodeId and value:VAL
template<typename VAL>
NodeProperty< VAL > nodesPropertyFromVal (const VAL &a, Size size=0) const
 a method to create a hashMap with key:NodeId and value:VAL
template<typename VAL>
List< VAL > listMapNodes (VAL(*f)(const NodeId &)) const
 a method to create a list of VAL from a set of nodes (using for every nodee, say x, the VAL f(x))
Operators
bool operator== (const ArcGraphPart &p) const
 tests whether two ArcGraphParts contain the same arcs
Accessors/Modifiers
virtual void eraseArc (const Arc &arc)
 removes an arc from the ArcGraphPart
bool existsArc (const Arc &arc) const
 indicates whether a given arc exists
bool existsArc (NodeId tail, NodeId head) const
 indicates whether a given arc exists
bool emptyArcs () const
 indicates wether the ArcGraphPart contains any arc
void clearArcs ()
 removes all the arcs from the ArcGraphPart
Size sizeArcs () const
 indicates the number of arcs stored within the ArcGraphPart
const ArcSetarcs () const
 returns the set of arcs stored within the ArcGraphPart
const NodeSetparents (NodeId id) const
 returns the set of nodes with arc ingoing to a given node
NodeSet parents (const NodeSet &ids) const
 returns the set of parents of a set of nodes
NodeSet children (const NodeSet &ids) const
 returns the set of nodes which consists in the node and its parents returns the set of children of a set of nodes
const NodeSetchildren (NodeId id) const
 returns the set of nodes with arc outgoing from a given node
void eraseParents (NodeId id)
 erase all the parents of a given node
void unvirtualizedEraseParents (NodeId id)
 same function as eraseParents but without any virtual call to an erase
void eraseChildren (NodeId id)
 removes all the children of a given node
void unvirtualizedEraseChildren (NodeId id)
 same function as eraseChildren but without any virtual call to an erase
template<typename VAL>
ArcProperty< VAL > arcsProperty (VAL(*f)(const Arc &), Size size=0) const
 a method to create a hashMap of VAL from a set of arcs (using for every arc, say x, the VAL f(x))
template<typename VAL>
ArcProperty< VAL > arcsProperty (const VAL &a, Size size=0) const
 a method to create a hashMap of VAL from a set of arcs (using for every arc, say x, the VAL a)
template<typename VAL>
List< VAL > listMapArcs (VAL(*f)(const Arc &)) const
 a method to create a list of VAL from a set of arcs (using for every arc, say x, the VAL f(x))

Public Attributes

Signaler< NodeIdonNodeAdded
Signaler< NodeIdonNodeDeleted
Signaler< NodeId, NodeIdonArcAdded
Signaler< NodeId, NodeIdonArcDeleted

Protected Member Functions

void eraseSetOfArcs_ (const ArcSet &set)
 a (virtualized) function to remove a given set of arcs
void unvirtualizedEraseSetOfArcs_ (const ArcSet &set)
 similar to eraseSetOfArcs_ except that it is unvirtualized

Private Member Functions

void _updateEndIteratorSafe_ ()
 updating endIterator (always at max+1)
void _clearNodes_ ()
 code for clearing nodes (called twice)
void _eraseHole_ (NodeId id)
 to delete hole.
void _addHole_ (NodeId id)
 to add a hole.
std::unique_ptr< Bijection< NodeId, std::string > > _cloneNames_ () const
 clone the names bijection (returns nullptr when no name has been set)
void _checkParents_ (NodeId id)
 when the ArcGraphPart contains no arc ingoing into a given node, this function adds an empty set entry to parents[id]
void _checkChildren_ (NodeId id)
 when the ArcGraphPart contains no arc outgoing from a given node, this function adds an empty set entry to children[id]
Introspection
bool _inHoles_ (NodeId id) const
Size _sizeHoles_ () const

Private Attributes

NodeSet_holes_
 the set of nodes not contained in the NodeGraphPart in the interval 1.
std::unique_ptr< Bijection< NodeId, std::string > > _names_
 optional node names — null when no name has been set
Size _holes_size_
 value for holes configuration
bool _holes_resize_policy_
 value for holes configuration
NodeGraphPartIteratorSafe _endIteratorSafe_
 the end iterator (used to speed-up parsings of the NodeGraphPart)
NodeId _boundVal_
 the id below which NodeIds may belong to the NodeGraphPart
Set< Arc_arcs_
 the set of all the arcs contained within the ArcGraphPart
NodeProperty< NodeSet * > _parents_
 for each arc, the sets of its parents
NodeProperty< NodeSet * > _children_
 for each arc, the set of its children

Constructors / Destructors

 DiGraph (Size nodes_size=HashTableConst::default_size, bool nodes_resize_policy=true, Size arcs_size=HashTableConst::default_size, bool arcs_resize_policy=true)
 default constructor
 DiGraph (const DiGraph &g)
 copy constructor
 DiGraph (DiGraph &&g)
 move constructor
 ~DiGraph () override
 destructor
static DiGraph completeGraph (int n)
 Build a complete DiGraph with n nodes.

Detailed Description

Base class for all oriented graphs.

This is the base class for graphs containing directed edges (so-called arcs)

Definition at line 132 of file diGraph.h.

Member Typedef Documentation

◆ ArcIterator

Definition at line 100 of file arcGraphPart.h.

◆ node_const_iterator

types for STL compliance

Definition at line 268 of file nodeGraphPart.h.

◆ node_const_iterator_safe

types for STL compliance

Definition at line 270 of file nodeGraphPart.h.

◆ node_iterator

types for STL compliance

Definition at line 267 of file nodeGraphPart.h.

◆ node_iterator_safe

types for STL compliance

Definition at line 269 of file nodeGraphPart.h.

◆ NodeConstIterator

Definition at line 277 of file nodeGraphPart.h.

◆ NodeConstIteratorSafe

◆ NodeIterator

Definition at line 276 of file nodeGraphPart.h.

◆ NodeIteratorSafe

Constructor & Destructor Documentation

◆ DiGraph() [1/3]

gum::DiGraph::DiGraph ( Size nodes_size = HashTableConst::default_size,
bool nodes_resize_policy = true,
Size arcs_size = HashTableConst::default_size,
bool arcs_resize_policy = true )
explicit

default constructor

Parameters
nodes_sizethe size of the hash table used to store all the nodes
nodes_resize_policythe resizing policy of this hash table
arcs_sizethe size of the hash table used to store all the arcs
arcs_resize_policythe resizing policy of this hash table

Definition at line 70 of file diGraph.cpp.

73 :
74 NodeGraphPart(nodes_size, nodes_resize_policy), ArcGraphPart(arcs_size, arcs_resize_policy) {
75 GUM_CONSTRUCTOR(DiGraph)
76 }
ArcGraphPart(Size arcs_size=HashTableConst::default_size, bool arcs_resize_policy=true)
default constructor
NodeGraphPart(Size holes_size=HashTableConst::default_size, bool holes_resize_policy=true)
default constructor

References gum::ArcGraphPart::ArcGraphPart(), DiGraph(), and gum::NodeGraphPart::NodeGraphPart().

Referenced by gum::DAG::DAG(), gum::DAG::DAG(), gum::DAG::DAG(), DiGraph(), DiGraph(), DiGraph(), gum::MixedGraph::MixedGraph(), gum::MixedGraph::MixedGraph(), gum::MixedGraph::MixedGraph(), gum::MixedGraph::MixedGraph(), gum::MixedGraph::MixedGraph(), gum::prm::gspan::Pattern::Pattern(), gum::prm::gspan::Pattern::Pattern(), ~DiGraph(), completeGraph(), operator=(), operator=(), and operator==().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ DiGraph() [2/3]

gum::DiGraph::DiGraph ( const DiGraph & g)

copy constructor

Parameters
gthe DiGraph to copy

Definition at line 78 of file diGraph.cpp.

78: NodeGraphPart(g), ArcGraphPart(g) { GUM_CONS_CPY(DiGraph) }

References gum::ArcGraphPart::ArcGraphPart(), DiGraph(), and gum::NodeGraphPart::NodeGraphPart().

Here is the call graph for this function:

◆ DiGraph() [3/3]

gum::DiGraph::DiGraph ( DiGraph && g)

move constructor

Definition at line 80 of file diGraph.cpp.

80 : NodeGraphPart(std::move(g)), ArcGraphPart(std::move(g)) {
81 GUM_CONS_MOV(DiGraph)
82 }

References gum::ArcGraphPart::ArcGraphPart(), DiGraph(), and gum::NodeGraphPart::NodeGraphPart().

Here is the call graph for this function:

◆ ~DiGraph()

gum::DiGraph::~DiGraph ( )
override

destructor

Definition at line 84 of file diGraph.cpp.

84{ GUM_DESTRUCTOR(DiGraph) }

References DiGraph().

Here is the call graph for this function:

Member Function Documentation

◆ _addHole_()

void gum::NodeGraphPart::_addHole_ ( NodeId id)
privateinherited

to add a hole.

Warning
id is assumed not to be already a hole

Definition at line 112 of file nodeGraphPart.cpp.

112 {
113 // we assume that the node exists
114 if (node + 1 == _boundVal_) {
115 // we remove the max : no new hole and maybe a bunch of holes to remove
116 --_boundVal_;
117
118 if (_holes_) {
119 while (_holes_->contains(_boundVal_ - 1)) {
120 // a bunch of holes to remove. We do not use inHoles for optimisation
121 // :
122 // not to repeat the test if ( _holes_) each time
123 _holes_->erase(--_boundVal_);
124 }
125
126 if (_holes_->empty()) {
127 delete _holes_;
128 _holes_ = nullptr;
129 }
130 }
131
133 } else {
135
136 _holes_->insert(node);
137 }
138 }
void _updateEndIteratorSafe_()
updating endIterator (always at max+1)
Size _holes_size_
value for holes configuration
bool _holes_resize_policy_
value for holes configuration
NodeSet * _holes_
the set of nodes not contained in the NodeGraphPart in the interval 1.
NodeId _boundVal_
the id below which NodeIds may belong to the NodeGraphPart
Set< NodeId > NodeSet
Some typdefs and define for shortcuts ...

References _boundVal_, _holes_, _holes_resize_policy_, _holes_size_, and _updateEndIteratorSafe_().

Referenced by eraseNode(), and NodeGraphPartIteratorSafe.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ _checkChildren_()

INLINE void gum::ArcGraphPart::_checkChildren_ ( NodeId id)
privateinherited

when the ArcGraphPart contains no arc outgoing from a given node, this function adds an empty set entry to children[id]

Parameters
idthe node whose children[id] is checked

Definition at line 72 of file arcGraphPart_inl.h.

72 {
73 if (!_children_.exists(id)) { _children_.insert(id, new NodeSet); }
74 }
NodeProperty< NodeSet * > _children_
for each arc, the set of its children

References _children_.

Referenced by addArc().

Here is the caller graph for this function:

◆ _checkParents_()

INLINE void gum::ArcGraphPart::_checkParents_ ( NodeId id)
privateinherited

when the ArcGraphPart contains no arc ingoing into a given node, this function adds an empty set entry to parents[id]

Parameters
idthe node whose parents[id] is checked

Definition at line 68 of file arcGraphPart_inl.h.

68 {
69 if (!_parents_.exists(id)) { _parents_.insert(id, new NodeSet); }
70 }
NodeProperty< NodeSet * > _parents_
for each arc, the sets of its parents

References _parents_.

Referenced by addArc().

Here is the caller graph for this function:

◆ _clearNodes_()

void gum::NodeGraphPart::_clearNodes_ ( )
privateinherited

code for clearing nodes (called twice)

Definition at line 237 of file nodeGraphPart.cpp.

237 {
239 _boundVal_ = 0;
240
241 if (onNodeDeleted.hasListener()) {
242 for (NodeId n = 0; n < bound; ++n) {
243 if (!_inHoles_(n)) GUM_EMIT1(onNodeDeleted, n);
244 }
245 }
246
248
249 delete (_holes_);
250 _holes_ = nullptr;
251 _names_.reset();
252 }
Signaler< NodeId > onNodeDeleted
std::unique_ptr< Bijection< NodeId, std::string > > _names_
optional node names — null when no name has been set
NodeId bound() const
returns a number n such that all node ids are strictly lower than n
bool _inHoles_(NodeId id) const
#define GUM_EMIT1(signal, arg1)
Definition signaler.h:289

References _boundVal_, _holes_, _inHoles_(), _names_, _updateEndIteratorSafe_(), bound(), GUM_EMIT1, and onNodeDeleted.

Referenced by clear(), clearNodes(), and NodeGraphPartIteratorSafe.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ _cloneNames_()

INLINE std::unique_ptr< Bijection< NodeId, std::string > > gum::NodeGraphPart::_cloneNames_ ( ) const
privateinherited

clone the names bijection (returns nullptr when no name has been set)

Definition at line 389 of file nodeGraphPart_inl.h.

389 {
390 return _names_ ? std::make_unique< Bijection< NodeId, std::string > >(*_names_) : nullptr;
391 }

References _names_.

Referenced by NodeGraphPart(), and populateNodes().

Here is the caller graph for this function:

◆ _eraseHole_()

INLINE void gum::NodeGraphPart::_eraseHole_ ( NodeId id)
privateinherited

to delete hole.

Warning
the hole is assumed to be existing.

Definition at line 255 of file nodeGraphPart_inl.h.

255 {
256 _holes_->erase(id);
257
258 if (_holes_->empty()) {
259 delete _holes_;
260 _holes_ = nullptr;
261 }
262 }

References _holes_.

Referenced by addNode(), addNodeWithId(), and NodeGraphPartIteratorSafe.

Here is the caller graph for this function:

◆ _inHoles_()

INLINE bool gum::NodeGraphPart::_inHoles_ ( NodeId id) const
privateinherited
Returns
true if id is part of holes

Definition at line 383 of file nodeGraphPart_inl.h.

383{ return _holes_ && _holes_->contains(id); }

References _holes_.

Referenced by _clearNodes_(), addNodeWithId(), asNodeSet(), existsNode(), NodeGraphPartIteratorSafe, and toString().

Here is the caller graph for this function:

◆ _sizeHoles_()

INLINE Size gum::NodeGraphPart::_sizeHoles_ ( ) const
privateinherited
Returns
the size of holes

Definition at line 386 of file nodeGraphPart_inl.h.

386{ return _holes_ ? _holes_->size() : (Size)0; }
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition types.h:74

References _holes_.

Referenced by NodeGraphPartIteratorSafe.

Here is the caller graph for this function:

◆ _updateEndIteratorSafe_()

INLINE void gum::NodeGraphPart::_updateEndIteratorSafe_ ( )
privateinherited

updating endIterator (always at max+1)

Definition at line 340 of file nodeGraphPart_inl.h.

340{ _endIteratorSafe_.setPos_(_boundVal_); }
NodeGraphPartIteratorSafe _endIteratorSafe_
the end iterator (used to speed-up parsings of the NodeGraphPart)

References _boundVal_, and _endIteratorSafe_.

Referenced by NodeGraphPart(), NodeGraphPart(), NodeGraphPart(), _addHole_(), _clearNodes_(), addNode(), addNodeWithId(), NodeGraphPartIteratorSafe, operator=(), and populateNodes().

Here is the caller graph for this function:

◆ addArc()

INLINE void gum::DiGraph::addArc ( const NodeId tail,
const NodeId head )
overridevirtual

insert a new arc into the directed graph

Parameters
tailthe id of the tail of the new inserted arc
headthe id of the head of the new inserted arc
Warning
if the arc already exists, nothing is done. In particular, no exception is raised.
Exceptions
InvalidNodeif head or tail does not belong to the graph nodes

Reimplemented from gum::ArcGraphPart.

Reimplemented in gum::PDAG, and gum::prm::gspan::Pattern.

Definition at line 59 of file diGraph_inl.h.

59 {
60 if (!exists(head)) { GUM_ERROR(InvalidNode, "no head node : " << head) }
61
62 if (!exists(tail)) { GUM_ERROR(InvalidNode, "no tail node : " << tail) }
63
64 ArcGraphPart::addArc(tail, head);
65 }
virtual void addArc(NodeId tail, NodeId head)
insert a new arc into the ArcGraphPart
bool exists(const NodeId id) const
alias for existsNode
#define GUM_ERROR(type, msg)
Definition exceptions.h:76

References gum::ArcGraphPart::addArc(), gum::NodeGraphPart::exists(), and GUM_ERROR.

Referenced by gum::EssentialGraph::_buildEssentialGraph_(), gum::MeekRules::_propagatesOrientationInChainOfRemainingEdges_(), gum::DAG::addArc(), gum::PDAG::addArc(), gum::prm::gspan::Pattern::addArc(), completeGraph(), gum::learning::SimpleMiic::learnPDAG(), gum::learning::SimpleMiic::learnStructure(), gum::graph::moralizedAncestralGraph(), gum::learning::IBNLearner::prepareFCI_(), gum::learning::IBNLearner::prepareMiic_(), gum::learning::IBNLearner::preparePC_(), gum::learning::SimpleMiic::propagatesOrientationInChainOfRemainingEdges_(), gum::learning::StructuralConstraintDAG::setGraphAlone(), and gum::PAG::toMixedGraph().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ addNode()

INLINE NodeId gum::NodeGraphPart::addNode ( )
virtualinherited

insert a new node and return its id

Returns
the id chosen by the internal idFactory

Reimplemented in gum::CliqueGraph.

Definition at line 269 of file nodeGraphPart_inl.h.

269 {
270 NodeId newNode;
271
272 // fill the first hole if holes exist
273 if (_holes_ && (!_holes_->empty())) {
274 newNode = *(_holes_->begin());
275 _eraseHole_(newNode);
276 } else {
277 newNode = _boundVal_;
278 ++_boundVal_;
280 }
281
282 GUM_EMIT1(onNodeAdded, newNode);
283
284 return newNode;
285 }
void _eraseHole_(NodeId id)
to delete hole.
Signaler< NodeId > onNodeAdded

References _boundVal_, _eraseHole_(), _holes_, _updateEndIteratorSafe_(), GUM_EMIT1, and onNodeAdded.

Referenced by gum::prm::gspan::DFSTree< GUM_SCALAR >::_addChild_(), gum::prm::StructuredInference< GUM_SCALAR >::_addEdgesInReducedGraph_(), gum::prm::gspan::StrictSearch< GUM_SCALAR >::_buildPatternGraph_(), gum::prm::StructuredInference< GUM_SCALAR >::_buildPatternGraph_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::LayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::gspan::DFSTree< GUM_SCALAR >::addRoot(), and populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ addNodes()

INLINE std::vector< NodeId > gum::NodeGraphPart::addNodes ( Size n)
inherited

insert n nodes

Parameters
nthe number of nodes to add
Returns
the vector of chosen ids

Definition at line 287 of file nodeGraphPart_inl.h.

287 {
288 std::vector< NodeId > v;
289 v.reserve(N);
290 for (Idx i = 0; i < N; i++)
291 v.push_back(this->addNode());
292 return v;
293 }
Size Idx
Type for indexes.
Definition types.h:79

Referenced by gum::DiGraph::completeGraph(), gum::UndiGraph::completeGraph(), and populateNodesFromProperty().

Here is the caller graph for this function:

◆ addNodeWithId()

void gum::NodeGraphPart::addNodeWithId ( const NodeId id)
virtualinherited

try to insert a node with the given id

Warning
This method should be carefully used. Please prefer populateNodes or populateNodesFromProperty when possible
Exceptions
DuplicateElementexception if the id already exists

Reimplemented in gum::CliqueGraph.

Definition at line 214 of file nodeGraphPart.cpp.

214 {
215 if (id >= _boundVal_) {
216 if (id > _boundVal_) { // we have to add holes
218
219 for (NodeId i = _boundVal_; i < id; ++i)
220 _holes_->insert(i);
221 }
222
223 _boundVal_ = id + 1;
224
226 } else {
227 if (_inHoles_(id)) { // we fill a hole
228 _eraseHole_(id);
229 } else {
230 GUM_ERROR(DuplicateElement, "Id " << id << " is already used")
231 }
232 }
233
235 }

References _boundVal_, _eraseHole_(), _holes_, _holes_resize_policy_, _holes_size_, _inHoles_(), _updateEndIteratorSafe_(), GUM_EMIT1, GUM_ERROR, and onNodeAdded.

Referenced by gum::EssentialGraph::_buildEssentialGraph_(), gum::prm::GSpan< GUM_SCALAR >::_sortPatterns_(), gum::prm::gspan::Pattern::addNodeWithLabel(), gum::InfluenceDiagram< GUM_SCALAR >::getDecisionGraph(), gum::Separation::isForwardSeparated(), gum::learning::IBNLearner::learnDag_(), gum::learning::FCI::learnPAG(), gum::learning::SimpleMiic::learnStructure(), gum::graph::markovBlanket(), gum::UndiGraph::partialUndiGraph(), populateNodesFromProperty(), gum::learning::IBNLearner::prepareFCI_(), gum::learning::IBNLearner::prepareMiic_(), gum::learning::IBNLearner::preparePC_(), gum::MeekRules::propagateToCPDAG(), gum::MeekRules::propagateToDAG(), gum::learning::StructuralConstraintDAG::setGraphAlone(), gum::EssentialGraph::skeleton(), and gum::PAG::toMixedGraph().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ ancestors()

INLINE NodeSet gum::DiGraph::ancestors ( NodeId id) const

returns the set of all ancestors of id (nodes from which id is reachable)

Definition at line 119 of file diGraph_inl.h.

119{ return graph::ancestors(*this, id); }
NodeSet ancestors(const G &g, NodeId id)
Returns the set of all ancestors of id (nodes from which id is reachable following arc direction).

References gum::graph::ancestors().

Referenced by gum::Separation::isAncestorOf(), and gum::DoorCriteria::nodesOnDirectedPaths().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ arcs()

INLINE const ArcSet & gum::ArcGraphPart::arcs ( ) const
inherited

returns the set of arcs stored within the ArcGraphPart

Definition at line 60 of file arcGraphPart_inl.h.

60{ return _arcs_; }
Set< Arc > _arcs_
the set of all the arcs contained within the ArcGraphPart

References _arcs_.

Referenced by gum::EssentialGraph::_buildEssentialGraph_(), gum::prm::PRMClass< GUM_SCALAR >::_inheritClass_(), gum::prm::ClassBayesNet< GUM_SCALAR >::_init_(), gum::prm::gspan::Pattern::arcs(), gum::learning::FCI::learnPAG(), gum::learning::SimpleMiic::learnStructure(), and gum::DiGraph::toDot().

Here is the caller graph for this function:

◆ arcsProperty() [1/2]

template<typename VAL>
ArcProperty< VAL > gum::ArcGraphPart::arcsProperty ( const VAL & a,
Size size = 0 ) const
inherited

a method to create a hashMap of VAL from a set of arcs (using for every arc, say x, the VAL a)

Parameters
athe default value assigned to each arc in the returned Property
sizean optional parameter enabling to fine-tune the returned Property. Roughly speaking, it is a good practice to have a size equal to half the number of arcs. If you do not specify this parameter, the method will assign it for you.

◆ arcsProperty() [2/2]

template<typename VAL>
ArcProperty< VAL > gum::ArcGraphPart::arcsProperty ( VAL(* )(const Arc &),
Size size = 0 ) const
inherited

a method to create a hashMap of VAL from a set of arcs (using for every arc, say x, the VAL f(x))

Parameters
fa function assigning a VAL to any arc
sizean optional parameter enabling to fine-tune the returned Property. Roughly speaking, it is a good practice to have a size equal to half the number of arcs. If you do not specify this parameter, the method will assign it for you.

◆ asNodeSet()

INLINE NodeSet gum::NodeGraphPart::asNodeSet ( ) const
inherited

returns a copy of the set of nodes represented by the NodeGraphPart

Warning
this function is o(n) where n is the number of nodes. In space and in time. Usually, when you need to parse the nodes of a NodeGraphPart, prefer using
for(const auto n : nodes())
rather than
for(const auto n : asNodeSet())
NodeSet asNodeSet() const
returns a copy of the set of nodes represented by the NodeGraphPart
as this is faster and consumes much less memory.

Definition at line 367 of file nodeGraphPart_inl.h.

367 {
368 NodeSet son(sizeNodes());
369
370 if (!empty()) {
371 for (NodeId n = 0; n < _boundVal_; ++n) {
372 if (!_inHoles_(n)) son.insert(n);
373 }
374 }
375
376 return son;
377 }
Size sizeNodes() const
returns the number of nodes in the NodeGraphPart

References _boundVal_, _inHoles_(), empty(), gum::Set< Key >::insert(), and sizeNodes().

Referenced by gum::MarginalTargetedInference< GUM_SCALAR >::MarginalTargetedInference(), gum::MarginalTargetedMRFInference< GUM_SCALAR >::MarginalTargetedMRFInference(), gum::DoCalculus< GUM_SCALAR >::_ancestorsIn_(), populateNodesFromProperty(), and gum::ImportanceSampling< GUM_SCALAR >::unsharpenBN_().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ begin()

INLINE NodeGraphPartIterator gum::NodeGraphPart::begin ( ) const
noexceptinherited

a begin iterator to parse the set of nodes contained in the NodeGraphPart

Definition at line 346 of file nodeGraphPart_inl.h.

346 {
347 NodeGraphPartIterator it(*this);
348 it.validate_(); // stop the iterator at the first not-in-holes
349 return it;
350 }
friend class NodeGraphPartIterator

References NodeGraphPartIterator, and gum::NodeGraphPartIterator::validate_().

Referenced by gum::Estimator< GUM_SCALAR >::Estimator(), gum::learning::ConstraintBasedLearning::initGraph_(), populateNodesFromProperty(), and gum::Estimator< GUM_SCALAR >::setFromBN().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ beginSafe()

INLINE NodeGraphPartIteratorSafe gum::NodeGraphPart::beginSafe ( ) const
inherited

a begin iterator to parse the set of nodes contained in the NodeGraphPart

Definition at line 334 of file nodeGraphPart_inl.h.

334 {
336 it.validate_(); // stop the iterator at the first not-in-holes
337 return it;
338 }
friend class NodeGraphPartIteratorSafe

References NodeGraphPartIteratorSafe, and gum::NodeGraphPartIterator::validate_().

Referenced by populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ bound()

INLINE NodeId gum::NodeGraphPart::bound ( ) const
inherited

returns a number n such that all node ids are strictly lower than n

Definition at line 323 of file nodeGraphPart_inl.h.

323{ return _boundVal_; }

References _boundVal_.

Referenced by _clearNodes_(), and populateNodesFromProperty().

Here is the caller graph for this function:

◆ children() [1/2]

INLINE NodeSet gum::ArcGraphPart::children ( const NodeSet & ids) const
inherited

returns the set of nodes which consists in the node and its parents returns the set of children of a set of nodes

returns the set of children of a set of nodes

Definition at line 82 of file arcGraphPart_inl.h.

82 {
83 NodeSet res;
84 for (const auto node: ids)
85 res += children(node);
86 return res;
87 }
NodeSet children(const NodeSet &ids) const
returns the set of nodes which consists in the node and its parents returns the set of children of a ...

References children().

Referenced by ArcGraphPart(), gum::prm::ClassDependencyGraph< GUM_SCALAR >::_addArcs_(), gum::EssentialGraph::_buildEssentialGraph_(), gum::DoorCriteria::_existsUnblockedDirectedPath_(), gum::prm::gspan::Pattern::_expandCodeIsMinimal_(), gum::prm::SVE< GUM_SCALAR >::_initElimOrder_(), gum::prm::SVED< GUM_SCALAR >::_initElimOrder_(), gum::prm::gspan::Pattern::_not_rec_(), gum::MeekRules::_propagatesOrientationInChainOfRemainingEdges_(), gum::prm::gspan::Pattern::_rec_(), gum::DoCalculus< GUM_SCALAR >::_removeInIntoDoing_outOfKnowing_(), gum::BarrenNodesFinder::barrenNodes(), children(), gum::DoorCriteria::enumerateFrontdoorSets(), eraseChildren(), gum::PDAG::hasMixedReallyOrientedPath(), gum::credal::CNLoopyPropagation< GUM_SCALAR >::initialize_(), gum::Separation::isBackdoorSeparated(), gum::Separation::isForwardSeparated(), gum::prm::gspan::Pattern::isMinimal(), gum::credal::CNLoopyPropagation< GUM_SCALAR >::makeInferenceNodeToNeighbours_(), operator<<(), gum::learning::SimpleMiic::propagatesOrientationInChainOfRemainingEdges_(), gum::rec_hasMixedReallyOrientedPath(), gum::BayesBall::relevantTensors(), gum::dSeparationAlgorithm::relevantTensors(), gum::prm::gspan::Pattern::remove(), gum::dSeparationAlgorithm::requisiteNodes(), gum::DAGCycleDetector::setDAG(), gum::MixedGraph::toDot(), gum::PDAG::toDot(), and unvirtualizedEraseChildren().

Here is the call graph for this function:

◆ children() [2/2]

INLINE const NodeSet & gum::ArcGraphPart::children ( NodeId id) const
inherited

returns the set of nodes with arc outgoing from a given node

Note that the set of arcs returned may be empty if no arc within the ArcGraphPart is outgoing from the given node.

Parameters
idthe node which is the tail of the arcs returned

Definition at line 97 of file arcGraphPart_inl.h.

97 {
98 if (_children_.exists(id)) return *_children_[id];
99 else return emptyNodeSet;
100 }
const NodeSet emptyNodeSet
Some typdefs and define for shortcuts ...

References _children_, and gum::emptyNodeSet.

◆ clear()

INLINE void gum::DiGraph::clear ( )
overridevirtual

removes all the nodes and arcs from the graph

Reimplemented from gum::NodeGraphPart.

Reimplemented in gum::MixedGraph.

Definition at line 67 of file diGraph_inl.h.

67 {
70 }
void clearArcs()
removes all the arcs from the ArcGraphPart
virtual void clearNodes()
remove all the nodes from the NodeGraphPart

References gum::ArcGraphPart::clearArcs(), and gum::NodeGraphPart::clearNodes().

Referenced by operator=().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ clearArcs()

void gum::ArcGraphPart::clearArcs ( )
inherited

removes all the arcs from the ArcGraphPart

Definition at line 104 of file arcGraphPart.cpp.

104 {
105 for (const auto& elt: _parents_)
106 delete elt.second;
107
108 _parents_.clear();
109
110 for (const auto& elt: _children_)
111 delete elt.second;
112
113 _children_.clear();
114
115 // we need this copy only if at least one onArcDeleted listener exists
116 if (onArcDeleted.hasListener()) {
117 ArcSet tmp = _arcs_;
118 _arcs_.clear();
119
120 for (const auto& arc: tmp)
121 GUM_EMIT2(onArcDeleted, arc.tail(), arc.head());
122 } else {
123 _arcs_.clear();
124 }
125 }
Signaler< NodeId, NodeId > onArcDeleted
#define GUM_EMIT2(signal, arg1, arg2)
Definition signaler.h:290

References _arcs_, _children_, _parents_, GUM_EMIT2, and onArcDeleted.

Referenced by ~ArcGraphPart(), gum::DiGraph::clear(), gum::MixedGraph::clear(), operator=(), operator=(), and gum::MixedGraph::operator=().

Here is the caller graph for this function:

◆ clearNodes()

INLINE void gum::NodeGraphPart::clearNodes ( )
virtualinherited

remove all the nodes from the NodeGraphPart

Definition at line 325 of file nodeGraphPart_inl.h.

325{ _clearNodes_(); }
void _clearNodes_()
code for clearing nodes (called twice)

References _clearNodes_().

Referenced by gum::DiGraph::clear(), gum::MixedGraph::clear(), gum::UndiGraph::clear(), gum::MixedGraph::operator=(), operator=(), and populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ completeGraph()

DiGraph gum::DiGraph::completeGraph ( int n)
static

Build a complete DiGraph with n nodes.

Parameters
intn
Returns
the complete DiGraph

Definition at line 58 of file diGraph.cpp.

58 {
59 DiGraph g;
60 g.addNodes(n);
61
62 for (int j = 0; j < n; ++j) {
63 for (int k = j + 1; k < n; ++k) {
64 g.addArc(j, k);
65 }
66 }
67 return g;
68 }

References DiGraph(), addArc(), and gum::NodeGraphPart::addNodes().

Here is the call graph for this function:

◆ connectedComponents()

INLINE NodeProperty< NodeId > gum::DiGraph::connectedComponents ( ) const

returns a property {node:id of weakly connected component}

Definition at line 127 of file diGraph_inl.h.

127 {
128 return graph::connectedComponents(*this);
129 }
NodeProperty< NodeId > connectedComponents(const G &g)
Returns a node-to-component-id mapping for the (weakly) connected components of g.

References gum::graph::connectedComponents().

Here is the call graph for this function:

◆ descendants()

INLINE NodeSet gum::DiGraph::descendants ( NodeId id) const

returns the set of all descendants of id (nodes reachable from id)

Definition at line 121 of file diGraph_inl.h.

121{ return graph::descendants(*this, id); }
NodeSet descendants(const G &g, NodeId id)
Returns the set of all descendants of id (nodes reachable from id following arc direction).

References gum::graph::descendants().

Referenced by gum::DoorCriteria::enumerateBackdoorSets(), gum::Separation::isDescendantOf(), gum::DoorCriteria::nodesOnDirectedPaths(), and gum::DoorCriteria::satisfiesBackdoorCriterion().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ directedPath()

INLINE std::optional< std::vector< NodeId > > gum::DiGraph::directedPath ( NodeId node1,
NodeId node2 ) const

returns a directed path from node1 to node2, or std::nullopt if none

Definition at line 109 of file diGraph_inl.h.

110 {
111 return graph::directedPath(*this, node1, node2);
112 }
std::optional< std::vector< NodeId > > directedPath(const G &g, NodeId n1, NodeId n2)
Shortest directed path from n1 to n2 (BFS, arc direction).

References gum::graph::directedPath().

Here is the call graph for this function:

◆ directedUnorientedPath()

INLINE std::optional< std::vector< NodeId > > gum::DiGraph::directedUnorientedPath ( NodeId node1,
NodeId node2 ) const

returns a shortest path from node1 to node2 ignoring arc orientation, or std::nullopt if none

Definition at line 115 of file diGraph_inl.h.

115 {
116 return graph::directedUnorientedPath(*this, node1, node2);
117 }
std::optional< std::vector< NodeId > > directedUnorientedPath(const G &g, NodeId n1, NodeId n2)
Shortest path from n1 to n2 ignoring arc orientation (BFS).

References gum::graph::directedUnorientedPath().

Here is the call graph for this function:

◆ dotNodeLabel()

std::string gum::NodeGraphPart::dotNodeLabel ( NodeId id) const
inherited

returns " [label=\"...\"]" with DOT-escaped name, or "" if no name

Definition at line 188 of file nodeGraphPart.cpp.

188 {
189 if (!hasName(id)) return "";
190 const std::string& name = _names_->second(id);
191 std::string result;
192 result.reserve(name.size() * 2 + 24);
193 result = " [label=\"(";
194 result += std::to_string(id);
195 result += ") ";
196 for (const char c: name) {
197 switch (c) {
198 case '"' : result += "\\\""; break;
199 case '\\' : result += "\\\\"; break;
200 case '\n' : result += "\\n"; break;
201 case '\r' : result += "\\r"; break;
202 default : result += c;
203 }
204 }
205 result += "\"]";
206 return result;
207 }
bool hasName(NodeId id) const
returns true iff node id has an explicit name

References _names_, and hasName().

Referenced by populateNodesFromProperty(), gum::DiGraph::toDot(), gum::MixedGraph::toDot(), gum::PAG::toDot(), gum::PDAG::toDot(), and gum::UndiGraph::toDot().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ empty()

INLINE bool gum::NodeGraphPart::empty ( ) const
inherited

alias for emptyNodes

Definition at line 321 of file nodeGraphPart_inl.h.

321{ return emptyNodes(); }
bool emptyNodes() const
indicates whether there exists nodes in the NodeGraphPart

References emptyNodes().

Referenced by asNodeSet(), populateNodesFromProperty(), gum::prm::gspan::Pattern::remove(), and gum::PDAG::toDot().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ emptyArcs()

INLINE bool gum::ArcGraphPart::emptyArcs ( ) const
inherited

indicates wether the ArcGraphPart contains any arc

Definition at line 56 of file arcGraphPart_inl.h.

56{ return _arcs_.empty(); }

References _arcs_.

◆ emptyNodes()

INLINE bool gum::NodeGraphPart::emptyNodes ( ) const
inherited

indicates whether there exists nodes in the NodeGraphPart

Definition at line 319 of file nodeGraphPart_inl.h.

319{ return (sizeNodes() == 0); }

References sizeNodes().

Referenced by empty(), and populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ end()

INLINE const NodeGraphPartIterator & gum::NodeGraphPart::end ( ) const
noexceptinherited

the end iterator to parse the set of nodes contained in the NodeGraphPart

Definition at line 352 of file nodeGraphPart_inl.h.

352 {
353 return _endIteratorSafe_;
354 }

References _endIteratorSafe_, and NodeGraphPartIterator.

Referenced by gum::Estimator< GUM_SCALAR >::Estimator(), gum::learning::ConstraintBasedLearning::initGraph_(), populateNodesFromProperty(), and gum::Estimator< GUM_SCALAR >::setFromBN().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ endSafe()

INLINE const NodeGraphPartIteratorSafe & gum::NodeGraphPart::endSafe ( ) const
noexceptinherited

the end iterator to parse the set of nodes contained in the NodeGraphPart

Definition at line 342 of file nodeGraphPart_inl.h.

342 {
343 return _endIteratorSafe_;
344 }

References _endIteratorSafe_, and NodeGraphPartIteratorSafe.

Referenced by populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ eraseArc()

INLINE void gum::ArcGraphPart::eraseArc ( const Arc & arc)
virtualinherited

removes an arc from the ArcGraphPart

Parameters
arcthe arc to be removed
Warning
if the arc does not exist, nothing is done. In particular, no exception is thrown. However, the signal onArcDeleted is fired only if a node is effectively removed.

Definition at line 114 of file arcGraphPart_inl.h.

114 {
115 // ASSUMING tail and head exists in _parents_ anf _children_
116 // (if not, it is an error)
117 if (existsArc(arc)) {
118 NodeId tail = arc.tail();
119 NodeId head = arc.head();
120 _parents_[head]->erase(tail);
121 _children_[tail]->erase(head);
122 _arcs_.erase(arc);
123 GUM_EMIT2(onArcDeleted, tail, head);
124 }
125 }
bool existsArc(const Arc &arc) const
indicates whether a given arc exists

References _arcs_, _children_, _parents_, existsArc(), GUM_EMIT2, gum::Arc::head(), onArcDeleted, and gum::Arc::tail().

Referenced by gum::EssentialGraph::_buildEssentialGraph_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::LayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::MeekRules::_orientDoubleHeadedArcs_(), gum::DoCalculus< GUM_SCALAR >::_removeIncomingInto_(), gum::DoCalculus< GUM_SCALAR >::_removeInIntoDoing_outOfKnowing_(), gum::BarrenNodesFinder::barrenNodes(), eraseChildren(), eraseParents(), eraseSetOfArcs_(), gum::Separation::isBackdoorSeparated(), gum::learning::IBNLearner::learnDag_(), gum::learning::SimpleMiic::learnStructure(), gum::learning::ConstraintBasedLearning::orientDoubleHeadedArcs_(), gum::prm::gspan::Pattern::pop_back(), gum::BayesNet< GUM_SCALAR >::reverseArc(), unvirtualizedEraseChildren(), unvirtualizedEraseParents(), and unvirtualizedEraseSetOfArcs_().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ eraseChildren()

INLINE void gum::ArcGraphPart::eraseChildren ( NodeId id)
inherited

removes all the children of a given node

Parameters
idthe node all the children of which will be removed
Warning
although this method is not virtual, it calls method eraseArc( const Arc& arc ) and, as such, has a "virtual" behaviour. If you do not wish it to have this "virtual" behaviour, call instead method unvirtualizedEraseChildren
if no arc is a parent of id, nothing is done. In particular, no exception is thrown.

Definition at line 146 of file arcGraphPart_inl.h.

146 {
147 if (_children_.exists(id)) {
148 const NodeSet& children = *(_children_[id]);
149
150 for (auto iter = children.beginSafe(); // safe iterator needed here
151 iter != children.endSafe();
152 ++iter) {
153 // warning: use this erase so that you actually use the virtualized
154 // arc removal function
155 eraseArc(Arc(id, *iter));
156 }
157 }
158 }

References _children_, children(), and eraseArc().

Here is the call graph for this function:

◆ eraseNode()

INLINE void gum::DiGraph::eraseNode ( const NodeId id)
overridevirtual

remove a node and its adjacent arcs from the graph

Parameters
idthe id of the node to be removed
Warning
if the node does not exist, nothing is done. In particular, no exception is raised.

Reimplemented from gum::NodeGraphPart.

Reimplemented in gum::MixedGraph.

Definition at line 93 of file diGraph_inl.h.

93 {
94 // warning: to remove the arcs adjacent to id, use the unvirtualized
95 // versions
96 // of arc removals
99
101 }
void unvirtualizedEraseChildren(NodeId id)
same function as eraseChildren but without any virtual call to an erase
void unvirtualizedEraseParents(NodeId id)
same function as eraseParents but without any virtual call to an erase
virtual void eraseNode(const NodeId id)
erase the node with the given id

References gum::NodeGraphPart::eraseNode(), gum::ArcGraphPart::unvirtualizedEraseChildren(), and gum::ArcGraphPart::unvirtualizedEraseParents().

Referenced by gum::BarrenNodesFinder::barrenNodes(), gum::prm::gspan::Pattern::pop_back(), gum::Separation::reduceForDSeparation(), and gum::prm::gspan::Pattern::remove().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ eraseParents()

INLINE void gum::ArcGraphPart::eraseParents ( NodeId id)
inherited

erase all the parents of a given node

Parameters
idthe node all the parents of which will be removed
Warning
although this method is not virtual, it calls method eraseArc( const Arc& arc ) and, as such, has a "virtual" behaviour. If you do not wish it to have this "virtual" behaviour, call instead method unvirtualizedEraseParents
if no arc is a parent of id, nothing is done. In particular, no exception is thrown.

Definition at line 132 of file arcGraphPart_inl.h.

132 {
133 if (_parents_.exists(id)) {
134 const NodeSet& parents = *(_parents_[id]);
135
136 for (auto iter = parents.beginSafe(); // safe iterator needed here
137 iter != parents.endSafe();
138 ++iter) {
139 // warning: use this erase so that you actually use the virtualized
140 // arc removal function
141 eraseArc(Arc(*iter, id));
142 }
143 }
144 }

References _parents_, eraseArc(), and parents().

Here is the call graph for this function:

◆ eraseSetOfArcs_()

INLINE void gum::ArcGraphPart::eraseSetOfArcs_ ( const ArcSet & set)
protectedinherited

a (virtualized) function to remove a given set of arcs

Warning
this function uses eraseArc, which is a virtual function. Hence the behaviour of this function is that of a virtual function

Definition at line 127 of file arcGraphPart_inl.h.

127 {
128 for (const auto& arc: set)
129 eraseArc(arc);
130 }

References eraseArc().

Here is the call graph for this function:

◆ exists()

INLINE bool gum::NodeGraphPart::exists ( const NodeId id) const
inherited

alias for existsNode

Definition at line 307 of file nodeGraphPart_inl.h.

307{ return existsNode(node); }
bool existsNode(const NodeId id) const
returns true iff the NodeGraphPart contains the given nodeId

References existsNode().

Referenced by gum::prm::StructuredInference< GUM_SCALAR >::_removeNode_(), gum::DiGraph::addArc(), gum::prm::gspan::Pattern::addArc(), gum::UndiGraph::addEdge(), gum::prm::gspan::Pattern::exists(), gum::learning::IBNLearner::learnDag_(), and populateNodesFromProperty().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ existsArc() [1/2]

INLINE bool gum::ArcGraphPart::existsArc ( const Arc & arc) const
inherited

◆ existsArc() [2/2]

INLINE bool gum::ArcGraphPart::existsArc ( NodeId tail,
NodeId head ) const
inherited

indicates whether a given arc exists

Parameters
tailthe tail of the arc we test the existence in the ArcGraphPart
headthe head of the arc we test the existence in the ArcGraphPart

Definition at line 64 of file arcGraphPart_inl.h.

64 {
65 return _parents_.exists(head) && _parents_[head]->exists(tail);
66 }

References _parents_.

◆ existsNode()

INLINE bool gum::NodeGraphPart::existsNode ( const NodeId id) const
inherited

returns true iff the NodeGraphPart contains the given nodeId

Definition at line 301 of file nodeGraphPart_inl.h.

301 {
302 if (node >= _boundVal_) return false;
303
304 return (!_inHoles_(node));
305 }

References _boundVal_, and _inHoles_().

Referenced by eraseNode(), gum::PAG::eraseNode(), exists(), gum::InfluenceDiagram< GUM_SCALAR >::getDecisionGraph(), gum::Separation::isForwardSeparated(), gum::graph::markovBlanket(), gum::graph::moralizedAncestralGraph(), gum::UndiGraph::partialUndiGraph(), populateNodesFromProperty(), gum::Separation::reduceForDSeparation(), and setName().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ family() [1/2]

INLINE NodeSet gum::DiGraph::family ( const NodeSet & ids) const

returns the union of families of all nodes in ids

Definition at line 125 of file diGraph_inl.h.

125{ return graph::family(*this, ids); }
NodeSet family(const G &g, NodeId id)
Returns the family of id : { id } ∪ parents(id).

References gum::graph::family().

Here is the call graph for this function:

◆ family() [2/2]

INLINE NodeSet gum::DiGraph::family ( NodeId id) const

returns { id } ∪ parents(id)

Definition at line 123 of file diGraph_inl.h.

123{ return graph::family(*this, id); }

References gum::graph::family().

Here is the call graph for this function:

◆ hasDirectedPath()

bool gum::DiGraph::hasDirectedPath ( NodeId from,
NodeId to ) const

checks whether there exists a directed path from from to to

If from==to, this function checks if a directed cycle containing from exists.

Parameters
from
to
Returns
true if a directed path exists

Definition at line 114 of file diGraph.cpp.

114 {
115 return graph::hasDirectedPath(*this, from, to);
116 }
bool hasDirectedPath(const G &g, NodeId from, NodeId to)
Returns true if there is a directed path from from to to.

References gum::graph::hasDirectedPath().

Referenced by gum::DAG::addArc(), and gum::PDAG::addArc().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ hasName()

bool gum::NodeGraphPart::hasName ( NodeId id) const
inherited

returns true iff node id has an explicit name

Definition at line 186 of file nodeGraphPart.cpp.

186{ return _names_ && _names_->existsFirst(id); }

References _names_.

Referenced by dotNodeLabel(), and populateNodesFromProperty().

Here is the caller graph for this function:

◆ idFromName()

std::optional< NodeId > gum::NodeGraphPart::idFromName ( const std::string & name) const
inherited

returns the id of the node with the given name, or std::nullopt

Definition at line 165 of file nodeGraphPart.cpp.

165 {
166 if (_names_ && _names_->existsSecond(name)) return _names_->first(name);
167 return std::nullopt;
168 }

References _names_.

Referenced by populateNodesFromProperty().

Here is the caller graph for this function:

◆ listMapArcs()

template<typename VAL>
List< VAL > gum::ArcGraphPart::listMapArcs ( VAL(* )(const Arc &)) const
inherited

a method to create a list of VAL from a set of arcs (using for every arc, say x, the VAL f(x))

Parameters
fa function assigning a VAL to any arc

◆ listMapNodes()

template<typename VAL>
List< VAL > gum::NodeGraphPart::listMapNodes ( VAL(* )(const NodeId &)) const
inherited

a method to create a list of VAL from a set of nodes (using for every nodee, say x, the VAL f(x))

Parameters
fa function assigning a VAL to any node

References listMapNodes().

Referenced by listMapNodes().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ nameFromId()

std::string gum::NodeGraphPart::nameFromId ( NodeId id) const
inherited

returns the name of node id, or "<id>" if no name is set

Definition at line 160 of file nodeGraphPart.cpp.

160 {
161 if (_names_ && _names_->existsFirst(id)) return _names_->second(id);
162 return std::to_string(id);
163 }

References _names_.

Referenced by populateNodesFromProperty().

Here is the caller graph for this function:

◆ nextNodeId()

INLINE NodeId gum::NodeGraphPart::nextNodeId ( ) const
inherited

returns a new node id, not yet used by any node

Warning
a code like
id=nextNodeId();addNode(id);
NodeId nextNodeId() const
returns a new node id, not yet used by any node
is basically not thread safe !!
Returns
a node id not yet used by any node within the NodeGraphPart

Definition at line 243 of file nodeGraphPart_inl.h.

243 {
244 NodeId next = 0;
245
246 // return the first hole if holes exist
247 if (_holes_ && (!_holes_->empty())) next = *(_holes_->begin());
248 else // in other case
249 next = _boundVal_;
250
251 return next;
252 }

References _boundVal_, and _holes_.

Referenced by populateNodesFromProperty().

Here is the caller graph for this function:

◆ nodes()

INLINE const NodeGraphPart & gum::NodeGraphPart::nodes ( ) const
inherited

return *this as a NodeGraphPart

Definition at line 379 of file nodeGraphPart_inl.h.

379 {
380 return *(static_cast< const NodeGraphPart* >(this));
381 }

References NodeGraphPart().

Referenced by gum::DoCalculus< GUM_SCALAR >::_ancestorsIn_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::LayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::ClassBayesNet< GUM_SCALAR >::_init_(), gum::prm::SVE< GUM_SCALAR >::_initElimOrder_(), gum::prm::SVED< GUM_SCALAR >::_initElimOrder_(), gum::prm::SVE< GUM_SCALAR >::_initLiftedNodes_(), gum::MeekRules::_orientDoubleHeadedArcs_(), gum::prm::GSpan< GUM_SCALAR >::_sortPatterns_(), gum::prm::PRMFactory< GUM_SCALAR >::addAttribute(), gum::DoorCriteria::enumerateBackdoorSets(), gum::learning::ConstraintBasedLearning::initGraph_(), gum::learning::FCI::learnPAG(), gum::DAG::moralizedAncestralGraph(), gum::graph::moralizedAncestralGraph(), gum::PDAG::moralizedAncestralGraph(), gum::prm::gspan::Pattern::nodes(), operator<<(), gum::learning::ConstraintBasedLearning::orientDoubleHeadedArcs_(), gum::UndiGraph::partialUndiGraph(), populateNodesFromProperty(), gum::learning::IBNLearner::prepareFCI_(), gum::learning::IBNLearner::prepareMiic_(), gum::learning::IBNLearner::preparePC_(), gum::learning::FCI::ruleR10_(), gum::learning::FCI::ruleR1_(), gum::learning::FCI::ruleR2_(), gum::learning::FCI::ruleR3_(), gum::learning::FCI::ruleR4_(), gum::learning::FCI::ruleR5_(), gum::learning::FCI::ruleR6_(), gum::learning::FCI::ruleR7_(), gum::learning::FCI::ruleR8_(), gum::learning::FCI::ruleR9_(), gum::DiGraph::toDot(), gum::MixedGraph::toDot(), gum::PAG::toDot(), gum::PDAG::toDot(), gum::UndiGraph::toDot(), and gum::PAG::toMixedGraph().

Here is the call graph for this function:

◆ nodesPropertyFromFunction()

template<typename VAL>
NodeProperty< VAL > gum::NodeGraphPart::nodesPropertyFromFunction ( VAL(* )(const NodeId &),
Size size = 0 ) const
inherited

a method to create a HashTable with key:NodeId and value:VAL

VAL are computed from the nodes using for all node x, VAL f(x). This method is a wrapper of the same method in HashTable.

See also
HashTable::map.
Parameters
fa function assigning a VAL to any node
sizean optional parameter enabling to fine-tune the returned Property. Roughly speaking, it is a good practice to have a size equal to half the number of nodes. If you do not specify this parameter, the method will assign it for you.

References nodesPropertyFromFunction(), and size().

Referenced by nodesPropertyFromFunction().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ nodesPropertyFromVal()

template<typename VAL>
NodeProperty< VAL > gum::NodeGraphPart::nodesPropertyFromVal ( const VAL & a,
Size size = 0 ) const
inherited

a method to create a hashMap with key:NodeId and value:VAL

for all nodes, the value stored is a. This method is a wrapper of the same method in HashTable.

See also
HashTable::map.
Parameters
athe default value assigned to each edge in the returned Property
sizean optional parameter enabling to fine-tune the returned Property. Roughly speaking, it is a good practice to have a size equal to half the number of nodes. If you do not specify this parameter, the method will assign it for you.

References nodesPropertyFromVal(), and size().

Referenced by gum::BinaryJoinTreeConverterDefault::convert(), and nodesPropertyFromVal().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ operator=() [1/2]

INLINE DiGraph & gum::DiGraph::operator= ( const DiGraph & g)

copy operator

Parameters
gthe DiGraph to copy

Definition at line 72 of file diGraph_inl.h.

72 {
73 // avoid self assigment
74 if (this != &g) {
78 GUM_OP_CPY(DiGraph);
79 }
80
81 return *this;
82 }
ArcGraphPart & operator=(const ArcGraphPart &s)
copy operator
NodeGraphPart & operator=(const NodeGraphPart &p)
copy operator

References DiGraph(), clear(), gum::ArcGraphPart::operator=(), and gum::NodeGraphPart::operator=().

Referenced by gum::DAG::operator=(), and gum::DAG::operator=().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ operator=() [2/2]

INLINE DiGraph & gum::DiGraph::operator= ( DiGraph && g)

move assignment operator

Definition at line 84 of file diGraph_inl.h.

84 {
85 if (this != &g) {
86 NodeGraphPart::operator=(std::move(g));
87 ArcGraphPart::operator=(std::move(g));
88 GUM_OP_MOV(DiGraph);
89 }
90 return *this;
91 }

References DiGraph(), gum::ArcGraphPart::operator=(), and gum::NodeGraphPart::operator=().

Here is the call graph for this function:

◆ operator==() [1/3]

INLINE bool gum::ArcGraphPart::operator== ( const ArcGraphPart & p) const
inherited

tests whether two ArcGraphParts contain the same arcs

Parameters
pthe ArcGraphPart that we compare with this

Definition at line 189 of file arcGraphPart_inl.h.

189{ return _arcs_ == p._arcs_; }

References ArcGraphPart(), and _arcs_.

Referenced by gum::DiGraph::operator==(), and gum::MixedGraph::operator==().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ operator==() [2/3]

INLINE bool gum::DiGraph::operator== ( const DiGraph & g) const

tests whether two DiGraphs are identical (same nodes, same arcs)

Parameters
gthe DiGraph with which "this" is compared

Definition at line 103 of file diGraph_inl.h.

103 {
105 }
bool operator==(const ArcGraphPart &p) const
tests whether two ArcGraphParts contain the same arcs
bool operator==(const NodeGraphPart &p) const
check whether two NodeGraphParts contain the same nodes

References DiGraph(), gum::ArcGraphPart::operator==(), and gum::NodeGraphPart::operator==().

Here is the call graph for this function:

◆ operator==() [3/3]

INLINE bool gum::NodeGraphPart::operator== ( const NodeGraphPart & p) const
inherited

check whether two NodeGraphParts contain the same nodes

Parameters
pthe NodeGraphPart to be compared with "this"

Definition at line 356 of file nodeGraphPart_inl.h.

356 {
357 if (_boundVal_ != p._boundVal_) return false;
358
359 if (_holes_)
360 if (p._holes_) return (*_holes_ == *p._holes_);
361 else return false;
362 else if (p._holes_) return false;
363
364 return true;
365 }

References NodeGraphPart(), _boundVal_, and _holes_.

Referenced by gum::DiGraph::operator==(), gum::MixedGraph::operator==(), and gum::UndiGraph::operator==().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ parents() [1/2]

INLINE NodeSet gum::ArcGraphPart::parents ( const NodeSet & ids) const
inherited

returns the set of parents of a set of nodes

Definition at line 90 of file arcGraphPart_inl.h.

90 {
91 NodeSet res;
92 for (const auto node: ids)
93 res += parents(node);
94 return res;
95 }

References parents().

Here is the call graph for this function:

◆ parents() [2/2]

INLINE const NodeSet & gum::ArcGraphPart::parents ( NodeId id) const
inherited

returns the set of nodes with arc ingoing to a given node

Note that the set of arcs returned may be empty if no arc within the ArcGraphPart is ingoing into the given node.

Parameters
idthe node toward which the arcs returned are pointing

Definition at line 76 of file arcGraphPart_inl.h.

76 {
77 if (_parents_.exists(id)) return *(_parents_[id]);
78 else return emptyNodeSet;
79 }

References _parents_, and gum::emptyNodeSet.

Referenced by gum::DoCalculus< GUM_SCALAR >::_ancestorsIn_(), gum::prm::gspan::Pattern::_expandCodeIsMinimal_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateClass_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::LayerGenerator< GUM_SCALAR >::_generateClassDag_(), gum::prm::LayerGenerator< GUM_SCALAR >::_generateClasses_(), gum::prm::ClusteredLayerGenerator< GUM_SCALAR >::_generateCluster_(), gum::prm::SVE< GUM_SCALAR >::_initElimOrder_(), gum::prm::SVED< GUM_SCALAR >::_initElimOrder_(), gum::prm::SVE< GUM_SCALAR >::_initLiftedNodes_(), gum::prm::SVED< GUM_SCALAR >::_initLiftedNodes_(), gum::prm::gspan::Pattern::_not_rec_(), gum::MeekRules::_orientDoubleHeadedArcs_(), gum::prm::gspan::Pattern::_rec_(), gum::DoCalculus< GUM_SCALAR >::_removeIncomingInto_(), gum::DoCalculus< GUM_SCALAR >::_removeInIntoDoing_outOfKnowing_(), gum::EssentialGraph::_strongly_protected_(), gum::DoorCriteria::backdoorReach(), gum::BarrenNodesFinder::barrenNodes(), gum::DoorCriteria::enumerateBackdoorSets(), gum::DoorCriteria::enumerateFrontdoorSets(), eraseParents(), gum::credal::CNLoopyPropagation< GUM_SCALAR >::initialize_(), gum::prm::gspan::Pattern::isMinimal(), gum::learning::SimpleMiic::learnPDAG(), gum::learning::SimpleMiic::learnStructure(), gum::credal::CNLoopyPropagation< GUM_SCALAR >::makeInferenceNodeToNeighbours_(), operator<<(), gum::learning::ConstraintBasedLearning::orientDoubleHeadedArcs_(), gum::prm::gspan::DFSTree< GUM_SCALAR >::parent(), gum::prm::gspan::DFSTree< GUM_SCALAR >::parent(), parents(), gum::BayesBall::relevantTensors(), gum::dSeparationAlgorithm::relevantTensors(), gum::prm::gspan::Pattern::remove(), gum::dSeparationAlgorithm::requisiteNodes(), gum::prm::gspan::Pattern::rightmostPath(), gum::DAGCycleDetector::setDAG(), and unvirtualizedEraseParents().

◆ populateNodes()

void gum::NodeGraphPart::populateNodes ( const NodeGraphPart & s)
inherited

populateNodes clears *this and fills it with the same nodes as "s"

populateNodes should basically be the preferred way to insert nodes with IDs not selected by the internal idFactory.

Parameters
sthe NodeGraphPart to be copied

Definition at line 97 of file nodeGraphPart.cpp.

97 {
98 clear(); // "virtual" flush of the nodes set
99 _holes_size_ = s._holes_size_;
100 _holes_resize_policy_ = s._holes_resize_policy_;
101
102 if (s._holes_) _holes_ = new NodeSet(*s._holes_);
103
104 _names_ = s._cloneNames_();
105
106 _boundVal_ = s._boundVal_;
107
109 }
virtual void clear()
alias for clearNodes

References NodeGraphPart(), _boundVal_, _cloneNames_(), _holes_, _holes_resize_policy_, _holes_size_, _names_, _updateEndIteratorSafe_(), and clear().

Referenced by operator=().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ populateNodesFromProperty()

template<typename T>
void gum::NodeGraphPart::populateNodesFromProperty ( const NodeProperty< T > & h)
inherited

populateNodesFromProperty clears *this and fills it with the keys of "h"

populateNodes should basically be the preferred way to insert nodes with IDs not selected by the internal idFactory.

References NodeGraphPart(), addNode(), addNodes(), addNodeWithId(), asNodeSet(), begin(), beginSafe(), bound(), clear(), clearNodes(), dotNodeLabel(), empty(), emptyNodes(), end(), endSafe(), eraseNode(), exists(), existsNode(), hasName(), idFromName(), nameFromId(), nextNodeId(), nodes(), setName(), size(), sizeNodes(), and toString().

Here is the call graph for this function:

◆ setName()

void gum::NodeGraphPart::setName ( NodeId id,
const std::string & name )
inherited

sets the name of node id

Exceptions
DuplicateElementif name is already used by another node

Definition at line 170 of file nodeGraphPart.cpp.

170 {
171 if (!existsNode(id)) GUM_ERROR(InvalidNode, "node " << id << " does not exist")
172 if (_names_) {
173 auto owner = _names_->tryFirst(name);
174 if (owner.has_value()) {
175 if (*owner != id)
176 GUM_ERROR(DuplicateElement, "name '" << name << "' already used by node " << *owner)
177 return;
178 }
179 if (_names_->existsFirst(id)) _names_->eraseFirst(id);
180 } else {
181 _names_ = std::make_unique< Bijection< NodeId, std::string > >();
182 }
183 _names_->insert(id, name);
184 }

References _names_, existsNode(), and GUM_ERROR.

Referenced by gum::GraphicalModel::_nameNodes_(), gum::CausalModel< GUM_SCALAR >::causalDAG(), populateNodesFromProperty(), and gum::EssentialGraph::skeleton().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ size()

INLINE Size gum::NodeGraphPart::size ( ) const
inherited

alias for sizeNodes

Definition at line 299 of file nodeGraphPart_inl.h.

299{ return sizeNodes(); }

References sizeNodes().

Referenced by gum::StaticTriangulation::StaticTriangulation(), gum::prm::gspan::DFSTree< GUM_SCALAR >::_addChild_(), gum::StaticTriangulation::_triangulate_(), nodesPropertyFromFunction(), nodesPropertyFromVal(), populateNodesFromProperty(), gum::BayesBall::relevantTensors(), gum::dSeparationAlgorithm::relevantTensors(), gum::dSeparationAlgorithm::requisiteNodes(), gum::prm::gspan::Pattern::size(), and gum::UndiGraph::toDot().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ sizeArcs()

INLINE Size gum::ArcGraphPart::sizeArcs ( ) const
inherited

indicates the number of arcs stored within the ArcGraphPart

Definition at line 58 of file arcGraphPart_inl.h.

58{ return _arcs_.size(); }

References _arcs_.

Referenced by gum::prm::gspan::Pattern::sizeArcs().

Here is the caller graph for this function:

◆ sizeNodes()

INLINE Size gum::NodeGraphPart::sizeNodes ( ) const
inherited

returns the number of nodes in the NodeGraphPart

Definition at line 295 of file nodeGraphPart_inl.h.

295 {
296 return (_holes_) ? (_boundVal_ - _holes_->size()) : _boundVal_;
297 }

References _boundVal_, and _holes_.

Referenced by gum::BinaryJoinTreeConverterDefault::_markConnectedComponent_(), asNodeSet(), gum::BinaryJoinTreeConverterDefault::convert(), emptyNodes(), populateNodesFromProperty(), and size().

Here is the caller graph for this function:

◆ toDot()

std::string gum::DiGraph::toDot ( ) const
virtual

to friendly display the content of the graph in the DOT syntax

Parameters
nameThe graph name in the dot syntax. Default is G.
Returns
Returns a string describing the graph in the dot syntax

Reimplemented in gum::MixedGraph, gum::PDAG, and gum::prm::gspan::Pattern.

Definition at line 93 of file diGraph.cpp.

93 {
94 std::string strBuff = "digraph {\n";
95
96 for (const auto node: nodes())
97 strBuff += std::format(" {}{};\n", node, dotNodeLabel(node));
98
99 strBuff += "\n";
100
101 for (const auto& arc: arcs())
102 strBuff += std::format(" {} -> {};\n", arc.tail(), arc.head());
103
104 strBuff += "}\n\n";
105 return strBuff;
106 }
std::string dotNodeLabel(NodeId id) const
returns " [label=\"...\"]" with DOT-escaped name, or "" if no name

References gum::ArcGraphPart::arcs(), gum::NodeGraphPart::dotNodeLabel(), and gum::NodeGraphPart::nodes().

Here is the call graph for this function:

◆ topologicalOrder()

INLINE Sequence< NodeId > gum::DiGraph::topologicalOrder ( ) const

Build and return a topological order.

Exceptions
InvalidDirectedCycleRaised if this DiGraph contains cycles.

Definition at line 131 of file diGraph_inl.h.

131 {
132 return graph::topologicalOrder(*this);
133 }
Sequence< NodeId > topologicalOrder(const G &g)
Returns a topological ordering of the nodes of g (Kahn's algorithm).

References gum::graph::topologicalOrder().

Referenced by gum::learning::SimpleMiic::learnPDAG(), and gum::learning::SimpleMiic::learnStructure().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ toString()

std::string gum::DiGraph::toString ( ) const
overridevirtual

to friendly display the content of the graph

Reimplemented from gum::NodeGraphPart.

Reimplemented in gum::MixedGraph.

Definition at line 86 of file diGraph.cpp.

86 {
87 std::string s = NodeGraphPart::toString();
88 s += " , ";
90 return s;
91 }
std::string toString() const
to friendly display the content of the ArcGraphPart
virtual std::string toString() const
a function to display the set of nodes

References gum::ArcGraphPart::toString(), and gum::NodeGraphPart::toString().

Referenced by gum::operator<<().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ unvirtualizedEraseChildren()

INLINE void gum::ArcGraphPart::unvirtualizedEraseChildren ( NodeId id)
inherited

same function as eraseChildren but without any virtual call to an erase

Parameters
idthe node whose outgoing arcs will be removed

Definition at line 177 of file arcGraphPart_inl.h.

177 {
178 if (_children_.exists(id)) {
179 const NodeSet& children = *(_children_[id]);
180
181 for (auto iter = children.beginSafe(); // safe iterator needed here
182 iter != children.endSafe();
183 ++iter) {
184 ArcGraphPart::eraseArc(Arc(id, *iter));
185 }
186 }
187 }

References _children_, children(), and eraseArc().

Referenced by gum::DiGraph::eraseNode(), and gum::MixedGraph::eraseNode().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ unvirtualizedEraseParents()

INLINE void gum::ArcGraphPart::unvirtualizedEraseParents ( NodeId id)
inherited

same function as eraseParents but without any virtual call to an erase

Parameters
idthe node whose ingoing arcs will be removed

Definition at line 165 of file arcGraphPart_inl.h.

165 {
166 if (_parents_.exists(id)) {
167 const NodeSet& parents = *(_parents_[id]);
168
169 for (auto iter = parents.beginSafe(); // safe iterator needed here
170 iter != parents.endSafe();
171 ++iter) {
172 ArcGraphPart::eraseArc(Arc(*iter, id));
173 }
174 }
175 }

References _parents_, eraseArc(), and parents().

Referenced by gum::DiGraph::eraseNode(), and gum::MixedGraph::eraseNode().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ unvirtualizedEraseSetOfArcs_()

INLINE void gum::ArcGraphPart::unvirtualizedEraseSetOfArcs_ ( const ArcSet & set)
protectedinherited

similar to eraseSetOfArcs_ except that it is unvirtualized

Warning
this function uses ArcGraphPart::eraseArc, hence, as compared with eraseSetOfArcs_, it removes the arcs without calling a virtual eraseArc

Definition at line 160 of file arcGraphPart_inl.h.

160 {
161 for (const auto& arc: set)
163 }

References eraseArc().

Here is the call graph for this function:

Member Data Documentation

◆ _arcs_

Set< Arc > gum::ArcGraphPart::_arcs_
privateinherited

the set of all the arcs contained within the ArcGraphPart

Definition at line 281 of file arcGraphPart.h.

Referenced by ArcGraphPart(), ArcGraphPart(), ArcGraphPart(), addArc(), arcs(), clearArcs(), emptyArcs(), eraseArc(), existsArc(), operator=(), operator=(), operator==(), sizeArcs(), and toString().

◆ _boundVal_

NodeId gum::NodeGraphPart::_boundVal_
privateinherited

◆ _children_

NodeProperty< NodeSet* > gum::ArcGraphPart::_children_
privateinherited

◆ _endIteratorSafe_

NodeGraphPartIteratorSafe gum::NodeGraphPart::_endIteratorSafe_
privateinherited

the end iterator (used to speed-up parsings of the NodeGraphPart)

Definition at line 537 of file nodeGraphPart.h.

Referenced by NodeGraphPart(), NodeGraphPart(), NodeGraphPart(), _updateEndIteratorSafe_(), end(), and endSafe().

◆ _holes_

NodeSet* gum::NodeGraphPart::_holes_
privateinherited

the set of nodes not contained in the NodeGraphPart in the interval 1.

. max

Warning
holes may be nullptr.

Definition at line 523 of file nodeGraphPart.h.

Referenced by NodeGraphPart(), NodeGraphPart(), NodeGraphPart(), ~NodeGraphPart(), _addHole_(), _clearNodes_(), _eraseHole_(), _inHoles_(), _sizeHoles_(), addNode(), addNodeWithId(), nextNodeId(), operator=(), operator==(), populateNodes(), and sizeNodes().

◆ _holes_resize_policy_

bool gum::NodeGraphPart::_holes_resize_policy_
privateinherited

value for holes configuration

Definition at line 534 of file nodeGraphPart.h.

Referenced by NodeGraphPart(), NodeGraphPart(), NodeGraphPart(), _addHole_(), addNodeWithId(), operator=(), and populateNodes().

◆ _holes_size_

Size gum::NodeGraphPart::_holes_size_
privateinherited

value for holes configuration

Definition at line 531 of file nodeGraphPart.h.

Referenced by NodeGraphPart(), NodeGraphPart(), NodeGraphPart(), _addHole_(), addNodeWithId(), operator=(), and populateNodes().

◆ _names_

std::unique_ptr< Bijection< NodeId, std::string > > gum::NodeGraphPart::_names_
privateinherited

optional node names — null when no name has been set

Definition at line 526 of file nodeGraphPart.h.

Referenced by NodeGraphPart(), NodeGraphPart(), _clearNodes_(), _cloneNames_(), dotNodeLabel(), eraseNode(), hasName(), idFromName(), nameFromId(), operator=(), populateNodes(), setName(), and toString().

◆ _parents_

NodeProperty< NodeSet* > gum::ArcGraphPart::_parents_
privateinherited

◆ onArcAdded

Signaler< NodeId, NodeId > gum::ArcGraphPart::onArcAdded
inherited

Definition at line 102 of file arcGraphPart.h.

Referenced by ArcGraphPart(), addArc(), operator=(), and operator=().

◆ onArcDeleted

Signaler< NodeId, NodeId > gum::ArcGraphPart::onArcDeleted
inherited

Definition at line 103 of file arcGraphPart.h.

Referenced by clearArcs(), and eraseArc().

◆ onNodeAdded

Signaler< NodeId > gum::NodeGraphPart::onNodeAdded
inherited

Definition at line 281 of file nodeGraphPart.h.

Referenced by addNode(), and addNodeWithId().

◆ onNodeDeleted

Signaler< NodeId > gum::NodeGraphPart::onNodeDeleted
inherited

Definition at line 282 of file nodeGraphPart.h.

Referenced by _clearNodes_(), and eraseNode().


The documentation for this class was generated from the following files: