|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for scope_walker, including all inherited members.
| add_decl(const std::string &name) | scope_walker | inline |
| begin | scope_walker | |
| brace_pushed_scope | scope_walker | |
| declares(const std::string &name) const | scope_walker | inline |
| end | scope_walker | |
| enter_for_scope(size_t stmt_end) | scope_walker | inline |
| for_pop_at | scope_walker | |
| is_block_brace(size_t idx) const | scope_walker | inline |
| nested_names | scope_walker | |
| nonscope_depth | scope_walker | |
| on_close_brace() | scope_walker | inline |
| on_open_brace(size_t idx) | scope_walker | inline |
| pre(size_t idx) | scope_walker | inline |
| scope_walker(const std::vector< token > &t, size_t b, size_t e, const std::set< std::string > &nn, std::set< std::string > seed={}) | scope_walker | inline |
| scopes | scope_walker | |
| toks | scope_walker |