|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for global_scope, including all inherited members.
| add_class(const std::string &class_name) | global_scope | inline |
| add_variable(const std::string &var_name) | global_scope | inline |
| classes() const noexcept | global_scope | inline |
| global_scope()=default | global_scope | |
| variables() const noexcept | global_scope | inline |