CBMC
|
C++ Language Type Checking. More...
Go to the source code of this file.
Classes | |
class | cpp_scopet |
class | cpp_root_scopet |
Functions | |
std::ostream & | operator<< (std::ostream &out, cpp_scopet::lookup_kindt) |
C++ Language Type Checking.
Definition in file cpp_scope.h.
std::ostream& operator<< | ( | std::ostream & | out, |
cpp_scopet::lookup_kindt | kind | ||
) |
Definition at line 14 of file cpp_scope.cpp.