- Generated by
1.15.0
|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for contextt, including all inherited members.
| add(const symbolt &symbol) | contextt | |
| clear() | contextt | inline |
| contextt() | contextt | inlineexplicit |
| contextt(const contextt &obj)=delete | contextt | |
| contextt(contextt &&) noexcept=default | contextt | |
| dump() const | contextt | |
| erase_since(irep_idt point) | contextt | |
| erase_symbol(irep_idt name) | contextt | |
| find_symbol(const char *name) | contextt | inline |
| find_symbol(irep_idt name) | contextt | |
| find_symbol(irep_idt name) const | contextt | |
| foreach_named_symbol_with_base(irep_idt base_name, T &&t) const | contextt | inline |
| Foreach_operand(T &&t) | contextt | inline |
| foreach_operand(T &&t) const | contextt | inline |
| Foreach_operand_in_order(T &&t) | contextt | inline |
| foreach_operand_in_order(T &&t) const | contextt | inline |
| mark() const | contextt | |
| move(symbolt &symbol, symbolt *&new_symbol) | contextt | |
| move(symbolt &symbol) | contextt | inline |
| move_symbol_to_context(symbolt &symbol) | contextt | |
| operator=(const contextt &rhs)=delete | contextt | |
| operator=(contextt &&) noexcept=default | contextt | |
| reorder_symbol_to_back(irep_idt name) | contextt | |
| size() const | contextt | inline |
| swap(contextt &other) | contextt | inline |
| ~contextt()=default | contextt |
1.15.0