CBMC
Loading...
Searching...
No Matches
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_itemtitemst
 

Public Member Functions

void  swap (cpp_parse_treet &cpp_parse_tree)
 
void  clear ()
 

Public Attributes

 

Detailed Description

Definition at line 19 of file cpp_parse_tree.h.

Member Typedef Documentation

◆  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_treetcpp_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:

AltStyle によって変換されたページ (->オリジナル) /