|
CBMC
|
#include <map>#include <string>#include <iosfwd>#include <util/expr.h>#include <util/invariant.h>
Include dependency graph for cpp_id.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | cpp_idt |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const cpp_idt &cpp_id) |
| std::ostream & | operator<< (std::ostream &out, const cpp_idt::id_classt &id_class) |
C++ Language Type Checking
Definition in file cpp_id.h.
| std::ostream& operator<< | ( | std::ostream & | out, |
| const cpp_idt & | cpp_id | ||
| ) |
Definition at line 92 of file cpp_id.cpp.
| std::ostream& operator<< | ( | std::ostream & | out, |
| const cpp_idt::id_classt & | id_class | ||
| ) |
Definition at line 98 of file cpp_id.cpp.