cpp_parse_treet Class Reference
#include <cpp_parse_tree.h>
Collaboration diagram for cpp_parse_treet:Public Types | |
| typedef std::list< cpp_itemt > | itemst |
Public Member Functions | |
| void | swap (cpp_parse_treet &cpp_parse_tree) |
| void | clear () |
Public Attributes | |
| itemst | items |
Detailed Description
Definition at line 19 of file cpp_parse_tree.h.
Member Typedef Documentation
◆ itemst
| typedef std::list<cpp_itemt> cpp_parse_treet::itemst |
Definition at line 24 of file cpp_parse_tree.h.
Member Function Documentation
◆ clear()
| void cpp_parse_treet::clear | ( | void | ) |
Definition at line 19 of file cpp_parse_tree.cpp.
◆ swap()
| void cpp_parse_treet::swap | ( | cpp_parse_treet & | cpp_parse_tree | ) |
Definition at line 14 of file cpp_parse_tree.cpp.
Member Data Documentation
◆ items
| itemst cpp_parse_treet::items |
Definition at line 25 of file cpp_parse_tree.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/cpp/cpp_parse_tree.h
- /home/runner/work/cbmc/cbmc/src/cpp/cpp_parse_tree.cpp
