cprover
Loading...
Searching...
No Matches
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: