CBMC
cpp_parser.h File Reference

C++ Parser. More...

#include <util/parser.h>
#include <ansi-c/ansi_c_parser.h>
#include "cpp_parse_tree.h"
#include "cpp_token_buffer.h"
#include <optional>
+ Include dependency graph for cpp_parser.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  cpp_parsert
 

Detailed Description

C++ Parser.

Definition in file cpp_parser.h.