|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for new_object2t, including all inherited members.
| base_type typedef | expr2t | |
| clear_writer() const noexcept | irep2t | inline |
| clone() const | expr2t | |
| cmp(const expr2t &ref) const | expr2t | |
| const_op_delegate typedef | expr2t | |
| container_type typedef | expr2t | |
| crc() const | expr2t | |
| crc_val | expr2t | mutable |
| current_thread_tag() noexcept | irep2t | inlinestatic |
| do_simplify() const override | new_object2t | virtual |
| dump() const | expr2t | |
| end_expr_id enum value | expr2t | |
| expr2t(const type2tc &type, expr_ids id) | expr2t | protected |
| expr2t(const expr2t &ref) | expr2t | protected |
| expr_id | expr2t | |
| expr_ids enum name | expr2t | |
| field_names | new_object2t | static |
| fields | new_object2t | static |
| Foreach_operand(T &&t) | expr2t | inline |
| foreach_operand(T &&t) const | expr2t | inline |
| foreach_operand_impl(op_delegate &expr) | expr2t | protected |
| foreach_operand_impl_const(const_op_delegate &expr) const | expr2t | protected |
| get_num_sub_exprs() const | expr2t | |
| get_sub_expr(size_t idx) const | expr2t | |
| irep2t() noexcept | irep2t | inline |
| irep2t(const irep2t &) noexcept | irep2t | inline |
| lt(const expr2t &ref) const | expr2t | |
| mark_writer() const noexcept | irep2t | inline |
| new_object2t(const type2tc &type) | new_object2t | inline |
| new_object2t(const new_object2t &ref)=default | new_object2t | |
| op_delegate typedef | expr2t | |
| operator!=(const expr2t &ref) const | expr2t | |
| operator<(const expr2t &ref) const | expr2t | |
| operator=(const irep2t &)=delete | irep2t | |
| operator==(const expr2t &ref) const | expr2t | |
| pretty(unsigned int indent=0) const | expr2t | |
| refcount | irep2t | mutable |
| simplify() const | expr2t | |
| simplify(bool suppress_reassoc) const | expr2t | |
| tostring(unsigned int indent) const | expr2t | |
| type | expr2t | |
| with_type(const type2tc &new_type) const | expr2t | |
| writer_thread | irep2t | mutable |
| ~expr2t()=default | expr2t | virtual |
| ~irep2t()=default | irep2t | virtual |