|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <memory>#include <string>#include <unordered_set>#include <vector>#include <nlohmann/json.hpp>Go to the source code of this file.
Classes | |
| struct | function |
| struct | function_hash |
| struct | class_definition |
| struct | class_definition_hash |
| class | module |
Typedefs | |
| using | FunctionsList = std::unordered_set<function, function_hash> |
| using | SubmodulesList = std::unordered_set<std::shared_ptr<module>> |
| using | OverloadList = std::vector<nlohmann::json> |
| using | ClassesList = std::unordered_set<class_definition, class_definition_hash> |
| using ClassesList = std::unordered_set<class_definition, class_definition_hash> |
| using FunctionsList = std::unordered_set<function, function_hash> |
| using OverloadList = std::vector<nlohmann::json> |
| using SubmodulesList = std::unordered_set<std::shared_ptr<module>> |