cprover
|
Go to the source code of this file.
Functions | |
bool | cpp_parse (cpp_parsert &, message_handlert &) |
C++ Parser.
Definition in file cpp_parser.cpp.
bool cpp_parse | ( | cpp_parsert & | cpp_parser, |
message_handlert & | message_handler ) |