CBMC
ansi_c_parse_treet Class Reference

#include <ansi_c_parse_tree.h>

+ Collaboration diagram for ansi_c_parse_treet:

Public Types

typedef std::list< ansi_c_declarationtitemst
 

Public Member Functions

void swap (ansi_c_parse_treet &other)
 
void clear ()
 
void output (std::ostream &out) const
 

Public Attributes

itemst items
 

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 ( void  )

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_treet other)

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: