CBMC
Public Member Functions | Public Attributes | List of all members
destructor_treet::destructor_nodet Class Reference
+ Inheritance diagram for destructor_treet::destructor_nodet:
+ Collaboration diagram for destructor_treet::destructor_nodet:

Public Member Functions

 destructor_nodet ()=default
 
 destructor_nodet (codet destructor)
 
- 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 ()
 

Public Attributes

optionalt< codet > destructor_value
 
- Public Attributes inherited from graph_nodet< empty_edget >
edgest in
 
edgest out
 

Additional Inherited Members

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

Detailed Description

Definition at line 139 of file destructor_tree.h.

Constructor & Destructor Documentation

◆ destructor_nodet() [1/2]

destructor_treet::destructor_nodet::destructor_nodet ( )
default

◆ destructor_nodet() [2/2]

destructor_treet::destructor_nodet::destructor_nodet ( codet  destructor)
inlineexplicit

Definition at line 144 of file destructor_tree.h.

Member Data Documentation

◆ destructor_value

optionalt<codet> destructor_treet::destructor_nodet::destructor_value

Definition at line 148 of file destructor_tree.h.

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