CBMC
visited_nodet< E > Class Template Reference

A node type with an extra bit. More...

#include <graph.h>

+ Inheritance diagram for visited_nodet< E >:
+ Collaboration diagram for visited_nodet< E >:

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, edgetedgest
 

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
 

Detailed Description

template<class E>
class visited_nodet< E >

A node type with an extra bit.

Definition at line 100 of file graph.h.

Member Typedef Documentation

◆ edgest

template<class E >
typedef graph_nodet<E>::edgest visited_nodet< E >::edgest

Definition at line 104 of file graph.h.

◆ edget

template<class E >
typedef graph_nodet<E>::edget visited_nodet< E >::edget

Definition at line 103 of file graph.h.

Constructor & Destructor Documentation

◆ visited_nodet()

template<class E >
visited_nodet< E >::visited_nodet ( )
inline

Definition at line 108 of file graph.h.

Member Data Documentation

◆ visited

template<class E >
bool visited_nodet< E >::visited

Definition at line 106 of file graph.h.


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