Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs > Class Template Reference

#include <graph.h>

Public Types

typedef NodeIndexType NodeIndex
 
typedef ArcIndexType ArcIndex
 

Public Member Functions

 BaseGraph ()
 
 BaseGraph (const BaseGraph &)=default
 
BaseGraphoperator= (const BaseGraph &)=default
 
virtual ~BaseGraph ()=default
 
NodeIndexType num_nodes () const
 
NodeIndexType size () const
 
ArcIndexType num_arcs () const
 Returns the number of valid arcs in the graph.
 
IntegerRange< NodeIndexAllNodes () const
 BaseGraph implementation -------------------------------------------------—.
 
IntegerRange< ArcIndexAllForwardArcs () const
 
bool IsNodeValid (NodeIndexType node) const
 Returns true if the given node is a valid node of the graph.
 
bool IsArcValid (ArcIndexType arc) const
 
NodeIndexType node_capacity () const
 Capacity reserved for future nodes, always >= num_nodes_.
 
ArcIndexType arc_capacity () const
 Capacity reserved for future arcs, always >= num_arcs_.
 
virtual void ReserveNodes (NodeIndexType bound)
 
virtual void ReserveArcs (ArcIndexType bound)
 
void Reserve (NodeIndexType node_capacity, ArcIndexType arc_capacity)
 
void FreezeCapacities ()
 
template<typename A , typename B >
void GroupForwardArcsByFunctor (const A &a, B *b)
 
ArcIndexType max_end_arc_index () const
 

Static Public Attributes

static const NodeIndexType kNilNode
 
static const ArcIndexType kNilArc
 

Protected Member Functions

void ComputeCumulativeSum (std::vector< ArcIndexType > *v)
 Functions commented when defined because they are implementation details.
 
void BuildStartAndForwardHead (SVector< NodeIndexType > *head, std::vector< ArcIndexType > *start, std::vector< ArcIndexType > *permutation)
 

Protected Attributes

NodeIndexType num_nodes_
 
NodeIndexType node_capacity_
 
ArcIndexType num_arcs_
 
ArcIndexType arc_capacity_
 
bool const_capacities_
 

Detailed Description

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
class util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >

Base class of all Graphs implemented here. The default value for the graph index types is int32_t since almost all graphs that fit into memory do not need bigger indices.

Note
The type can be unsigned, except for the graphs with reverse arcs where the ArcIndexType must be signed, but not necessarily the NodeIndexType.

Definition at line 190 of file graph.h.

Member Typedef Documentation

◆ ArcIndex

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::ArcIndex

Definition at line 196 of file graph.h.

◆ NodeIndex

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::NodeIndex

Typedef so you can use Graph::NodeIndex and Graph::ArcIndex to be generic but also to improve the readability of your code. We also recommend that you define a typedef ... Graph; for readability.

Definition at line 195 of file graph.h.

Constructor & Destructor Documentation

◆ BaseGraph() [1/2]

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::BaseGraph ( )
inline

Definition at line 198 of file graph.h.

◆ BaseGraph() [2/2]

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::BaseGraph ( const BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs > & )
default

◆ ~BaseGraph()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
virtual util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::~BaseGraph ( )
virtualdefault

Member Function Documentation

◆ AllForwardArcs()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
IntegerRange< ArcIndexType > util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::AllForwardArcs ( ) const

Definition at line 975 of file graph.h.

◆ AllNodes()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
IntegerRange< NodeIndexType > util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::AllNodes ( ) const

BaseGraph implementation -------------------------------------------------—.

Allows nice range-based for loop: for (const NodeIndex node : graph.AllNodes()) { ... } for (const ArcIndex arc : graph.AllForwardArcs()) { ... }

Definition at line 969 of file graph.h.

◆ arc_capacity()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::arc_capacity ( ) const

Capacity reserved for future arcs, always >= num_arcs_.

Todo
(user): Same questions as the ones in node_capacity().

Definition at line 999 of file graph.h.

◆ BuildStartAndForwardHead()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::BuildStartAndForwardHead ( SVector< NodeIndexType > * head,
std::vector< ArcIndexType > * start,
std::vector< ArcIndexType > * permutation )
protected

Given the tail of arc #i in (*head)[i] and the head of arc #i in (*head)[~i]

  • Reorder the arc by increasing tail.
  • Put the head of the new arc #i in (*head)[i].
  • Put in start[i] the index of the first arc with tail >= i.
  • Update "permutation" to reflect the change, unless it is NULL.

Computes the outgoing degree of each nodes and check if we need to permute something or not. Note that the tails are currently stored in the positive range of the SVector head.

Abort early if we do not need the permutation: we only need to put the heads in the positive range.

Computes the forward arc permutation.

Note
this temporarily alters the start vector.

Restore in (*start)[i] the index of the first arc with tail >= i.

Permutes the head into their final position in head. We do not need the tails anymore at this point.

Definition at line 1034 of file graph.h.

◆ ComputeCumulativeSum()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::ComputeCumulativeSum ( std::vector< ArcIndexType > * v)
protected

Functions commented when defined because they are implementation details.

Computes the cumulative sum of the entry in v. We only use it with in/out degree distribution, hence the Check() at the end.

Definition at line 1017 of file graph.h.

◆ FreezeCapacities()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::FreezeCapacities ( )

FreezeCapacities() makes any future attempt to change the graph capacities crash in DEBUG mode.

Todo
(user): Only define this in debug mode at the cost of having a lot of ifndef NDEBUG all over the place? remove the function completely ?

Definition at line 1006 of file graph.h.

◆ GroupForwardArcsByFunctor()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
template<typename A , typename B >
void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::GroupForwardArcsByFunctor ( const A & a,
B * b )
inline
Todo
(user): remove the public functions below. They are just here during the transition from the old ebert_graph api to this new graph api.

Definition at line 275 of file graph.h.

◆ IsArcValid()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
bool util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::IsArcValid ( ArcIndexType arc) const
inline

Returns true if the given arc is a valid arc of the graph.

Note
the arc validity range changes for graph with reverse arcs.

Definition at line 230 of file graph.h.

◆ IsNodeValid()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
bool util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::IsNodeValid ( NodeIndexType node) const
inline

Returns true if the given node is a valid node of the graph.

Definition at line 224 of file graph.h.

◆ max_end_arc_index()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::max_end_arc_index ( ) const
inline

Definition at line 278 of file graph.h.

◆ node_capacity()

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::node_capacity ( ) const

Capacity reserved for future nodes, always >= num_nodes_.

Todo
(user): Is it needed? remove completely? return the real capacities at the cost of having a different implementation for each graphs?

Definition at line 991 of file graph.h.

◆ num_arcs()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::num_arcs ( ) const
inline

Returns the number of valid arcs in the graph.

Definition at line 215 of file graph.h.

◆ num_nodes()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::num_nodes ( ) const
inline

Returns the number of valid nodes in the graph. Prefer using num_nodes(): the size() API is here to make Graph and vector<vector<int>> more alike.

Definition at line 211 of file graph.h.

◆ operator=()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
BaseGraph & util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::operator= ( const BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs > & )
default

◆ Reserve()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::Reserve ( NodeIndexType node_capacity,
ArcIndexType arc_capacity )
inline

Definition at line 258 of file graph.h.

◆ ReserveArcs()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
virtual void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::ReserveArcs ( ArcIndexType bound)
inlinevirtual

Definition at line 252 of file graph.h.

◆ ReserveNodes()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
virtual void util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::ReserveNodes ( NodeIndexType bound)
inlinevirtual

Changes the graph capacities. The functions will fail in debug mode if:

  • const_capacities_ is true.
  • A valid node does not fall into the new node range.
  • A valid arc does not fall into the new arc range. In non-debug mode, const_capacities_ is ignored and nothing will happen if the new capacity value for the arcs or the nodes is too small.

Definition at line 246 of file graph.h.

◆ size()

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::size ( ) const
inline

Definition at line 212 of file graph.h.

Member Data Documentation

◆ arc_capacity_

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::arc_capacity_
protected

Definition at line 290 of file graph.h.

◆ const_capacities_

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
bool util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::const_capacities_
protected

Definition at line 291 of file graph.h.

◆ kNilArc

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
const ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::kNilArc
static
Initial value:
=
std::numeric_limits<ArcIndexType>::max()

Definition at line 270 of file graph.h.

◆ kNilNode

template<typename NodeIndexType , typename ArcIndexType , bool HasReverseArcs>
const NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::kNilNode
static
Initial value:
=
std::numeric_limits<NodeIndexType>::max()

Constants that will never be a valid node or arc. They are the maximum possible node and arc capacity.

Definition at line 269 of file graph.h.

◆ node_capacity_

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::node_capacity_
protected

Definition at line 288 of file graph.h.

◆ num_arcs_

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
ArcIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::num_arcs_
protected

Definition at line 289 of file graph.h.

◆ num_nodes_

template<typename NodeIndexType = int32_t, typename ArcIndexType = int32_t, bool HasReverseArcs = false>
NodeIndexType util::BaseGraph< NodeIndexType, ArcIndexType, HasReverseArcs >::num_nodes_
protected

Definition at line 287 of file graph.h.


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