|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/symtab/context.h>#include <util/symtab/namespace.h>#include <util/irep/std_code.h>#include <util/irep/std_types.h>#include <util/symtab/symbol_generator.h>#include <unordered_map>Go to the source code of this file.
Classes | |
| class | clang_c_convertert |
Namespaces | |
| namespace | clang |
Macros | |
| #define | __STDC_LIMIT_MACROS |
| #define | __STDC_FORMAT_MACROS |
Functions | |
| std::string | getFullyQualifiedName (const clang::QualType &, const clang::ASTContext &) |
| #define __STDC_FORMAT_MACROS |
| #define __STDC_LIMIT_MACROS |
| std::string getFullyQualifiedName | ( | const clang::QualType & | t, |
| const clang::ASTContext & | c ) |