CBMC
cfg_base_nodet< T, I > Struct Template Reference

#include <cfg.h>

+ Inheritance diagram for cfg_base_nodet< T, I >:
+ Collaboration diagram for cfg_base_nodet< T, I >:

Public Types

typedef graph_nodet< empty_edget >::edget edget
 
typedef graph_nodet< empty_edget >::edgest edgest
 
- Public Types inherited from graph_nodet< empty_edget >
typedef std::size_t node_indext
 
typedef empty_edget edget
 
typedef std::map< node_indext, edgetedgest
 

Public Attributes

PC
 
- Public Attributes inherited from graph_nodet< empty_edget >
edgest in
 
edgest out
 

Additional Inherited Members

- Public Member Functions inherited from graph_nodet< empty_edget >
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 ()
 

Detailed Description

template<class T, typename I>
struct cfg_base_nodet< T, I >

Definition at line 27 of file cfg.h.

Member Typedef Documentation

◆ edgest

template<class T , typename I >
typedef graph_nodet<empty_edget>::edgest cfg_base_nodet< T, I >::edgest

Definition at line 30 of file cfg.h.

◆ edget

template<class T , typename I >
typedef graph_nodet<empty_edget>::edget cfg_base_nodet< T, I >::edget

Definition at line 29 of file cfg.h.

Member Data Documentation

◆ PC

template<class T , typename I >
I cfg_base_nodet< T, I >::PC

Definition at line 32 of file cfg.h.


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