CBMC
|
A node type with an extra bit. More...
#include <graph.h>
Public Types | |
typedef graph_nodet< E >::edget | edget |
typedef graph_nodet< E >::edgest | edgest |
Public Types inherited from graph_nodet< E > | |
typedef std::size_t | node_indext |
typedef E | edget |
typedef std::map< node_indext, edget > | edgest |
Public Member Functions | |
visited_nodet () | |
Public Member Functions inherited from graph_nodet< E > | |
void | add_in (node_indext n) |
void | add_out (node_indext n) |
void | erase_in (node_indext n) |
void | erase_out (node_indext n) |
std::string | pretty (const node_indext &idx) const |
virtual | ~graph_nodet () |
Public Attributes | |
bool | visited |
Public Attributes inherited from graph_nodet< E > | |
edgest | in |
edgest | out |
A node type with an extra bit.
typedef graph_nodet<E>::edgest visited_nodet< E >::edgest |
typedef graph_nodet<E>::edget visited_nodet< E >::edget |
|
inline |
bool visited_nodet< E >::visited |