cprover
graph_nodet< E > Class Template Reference

This class represents a node in a directed graph. More...

#include <graph.h>

Inheritance diagram for graph_nodet< E >:
[legend]
Collaboration diagram for graph_nodet< E >:
[legend]

Public Types

typedef std::size_t node_indext
 
typedef E edget
 
typedef std::map< node_indext, edgetedgest
 

Public Member Functions

void add_in (node_indext n)
 
void add_out (node_indext n)
 
void erase_in (node_indext n)
 
void erase_out (node_indext n)
 

Public Attributes

edgest in
 
edgest out
 

Detailed Description

template<class E = empty_edget>
class graph_nodet< E >

This class represents a node in a directed graph.

See grapht for more information.

Definition at line 33 of file graph.h.

Member Typedef Documentation

◆ edgest

template<class E = empty_edget>
typedef std::map<node_indext, edget> graph_nodet< E >::edgest

Definition at line 39 of file graph.h.

◆ edget

template<class E = empty_edget>
typedef E graph_nodet< E >::edget

Definition at line 38 of file graph.h.

◆ node_indext

template<class E = empty_edget>
typedef std::size_t graph_nodet< E >::node_indext

Definition at line 36 of file graph.h.

Member Function Documentation

◆ add_in()

template<class E = empty_edget>
void graph_nodet< E >::add_in ( node_indext  n)
inline

Definition at line 43 of file graph.h.

Referenced by grapht< abstract_eventt >::add_undirected_edge().

◆ add_out()

template<class E = empty_edget>
void graph_nodet< E >::add_out ( node_indext  n)
inline

Definition at line 48 of file graph.h.

Referenced by grapht< abstract_eventt >::add_undirected_edge().

◆ erase_in()

template<class E = empty_edget>
void graph_nodet< E >::erase_in ( node_indext  n)
inline

Definition at line 53 of file graph.h.

Referenced by grapht< abstract_eventt >::remove_out_edges().

◆ erase_out()

template<class E = empty_edget>
void graph_nodet< E >::erase_out ( node_indext  n)
inline

Definition at line 58 of file graph.h.

Referenced by grapht< abstract_eventt >::remove_in_edges().

Member Data Documentation

◆ in

◆ out


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