ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
global_scope Member List

This is the complete list of members for global_scope, including all inherited members.

add_class(const std::string &class_name)global_scopeinline
add_variable(const std::string &var_name)global_scopeinline
classes() const noexceptglobal_scopeinline
global_scope()=defaultglobal_scope
variables() const noexceptglobal_scopeinline