cprover
|
This class represents a node in a directed graph. More...
#include <graph.h>
Public Types | |
typedef std::size_t | node_indext |
typedef E | edget |
typedef std::map< node_indext, edget > | edgest |
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 |
This class represents a node in a directed graph.
See grapht for more information.
typedef std::map<node_indext, edget> graph_nodet< E >::edgest |
typedef E graph_nodet< E >::edget |
typedef std::size_t graph_nodet< E >::node_indext |
|
inline |
Definition at line 43 of file graph.h.
Referenced by grapht< abstract_eventt >::add_undirected_edge().
|
inline |
Definition at line 48 of file graph.h.
Referenced by grapht< abstract_eventt >::add_undirected_edge().
|
inline |
Definition at line 53 of file graph.h.
Referenced by grapht< abstract_eventt >::remove_out_edges().
|
inline |
Definition at line 58 of file graph.h.
Referenced by grapht< abstract_eventt >::remove_in_edges().
edgest graph_nodet< E >::in |
Definition at line 41 of file graph.h.
Referenced by full_slicert::add_dependencies(), graph_nodet< xml_edget >::add_in(), graph_nodet< xml_edget >::erase_in(), cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false >::fixedpoint(), reachability_slicert::fixedpoint_assertions(), grapht< abstract_eventt >::remove_in_edges(), and grapht< abstract_eventt >::remove_undirected_edge().
edgest graph_nodet< E >::out |
Definition at line 41 of file graph.h.
Referenced by graph_nodet< xml_edget >::add_out(), grapht< abstract_eventt >::connected_subgraphs(), graph_nodet< xml_edget >::erase_out(), cfg_dominators_templatet< const goto_programt, goto_programt::const_targett, false >::fixedpoint(), grapht< abstract_eventt >::make_chordal(), grapht< abstract_eventt >::output_dot_node(), grapht< abstract_eventt >::remove_out_edges(), grapht< abstract_eventt >::remove_undirected_edge(), grapht< abstract_eventt >::shortest_path(), grapht< abstract_eventt >::tarjan(), grapht< abstract_eventt >::visit_reachable(), and write_graphml().