CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
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 ( )

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: