CBMC
cpp_token_buffer.h File Reference

C++ Parser: Token Buffer. More...

#include <util/config.h>
#include <util/invariant.h>
#include <ansi-c/ansi_c_parser.h>
#include "cpp_token.h"
#include <list>
+ Include dependency graph for cpp_token_buffer.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  cpp_token_buffert
 

Detailed Description

C++ Parser: Token Buffer.

Definition in file cpp_token_buffer.h.