CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
ansi_c_parse_treet Class Reference

#include <ansi_c_parse_tree.h>

+ Collaboration diagram for ansi_c_parse_treet:

Public Types

 

Public Member Functions

 
void  clear ()
 
void  output (std::ostream &out) const
 

Public Attributes

 

Detailed Description

Definition at line 17 of file ansi_c_parse_tree.h.

Member Typedef Documentation

◆  itemst

Definition at line 21 of file ansi_c_parse_tree.h.

Member Function Documentation

◆  clear()

void ansi_c_parse_treet::clear ( )

Definition at line 18 of file ansi_c_parse_tree.cpp.

◆  output()

void ansi_c_parse_treet::output ( std::ostream &  out ) const

Definition at line 23 of file ansi_c_parse_tree.cpp.

◆  swap()

void ansi_c_parse_treet::swap ( ansi_c_parse_treetother )

Definition at line 13 of file ansi_c_parse_tree.cpp.

Member Data Documentation

◆  items

itemst ansi_c_parse_treet::items

Definition at line 22 of file ansi_c_parse_tree.h.


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

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