cprover
|
Go to the source code of this file.
Functions | |
bool | cpp_parse () |
Variables | |
cpp_parsert | cpp_parser |
C++ Parser.
Definition in file cpp_parser.cpp.
bool cpp_parse | ( | ) |
Definition at line 8416 of file parse.cpp.
References cpp_parser.
Referenced by cpp_parsert::parse().
cpp_parsert cpp_parser |
Definition at line 16 of file cpp_parser.cpp.
Referenced by cpp_parse(), cpp_languaget::parse(), and cpp_languaget::to_expr().