|
cprover
|
This is the complete list of members for cpp_usingt, including all inherited members.
| add(const irep_namet &name) | irept | |
| add(const irep_namet &name, const irept &irep) | irept | |
| clear() | irept | inline |
| compare(const irept &i) const | irept | |
| cpp_usingt() | cpp_usingt | inline |
| data | irept | protected |
| detach() | irept | protected |
| empty_d | irept | protectedstatic |
| find(const irep_namet &name) const | irept | |
| full_eq(const irept &other) const | irept | |
| full_hash() const | irept | |
| get(const irep_namet &name) const | irept | |
| get_bool(const irep_namet &name) const | irept | |
| get_comments() | irept | inline |
| get_comments() const | irept | inline |
| get_int(const irep_namet &name) const | irept | |
| get_long_long(const irep_namet &name) const | irept | |
| get_named_sub() | irept | inline |
| get_named_sub() const | irept | inline |
| get_namespace() const | cpp_usingt | inline |
| get_size_t(const irep_namet &name) const | irept | |
| get_string(const irep_namet &name) const | irept | inline |
| get_sub() | irept | inline |
| get_sub() const | irept | inline |
| get_unsigned_int(const irep_namet &name) const | irept | |
| hash() const | irept | |
| id() const | irept | inline |
| id(const irep_idt &_data) | irept | inline |
| id_string() const | irept | inline |
| irept(const irep_idt &_id) | irept | inlineexplicit |
| irept() | irept | inline |
| irept(const irept &irep) | irept | inline |
| irept(irept &&irep) | irept | inline |
| is_comment(const irep_namet &name) | irept | inlineprotectedstatic |
| is_nil() const | irept | inline |
| is_not_nil() const | irept | inline |
| make_nil() | irept | inline |
| move_to_named_sub(const irep_namet &name, irept &irep) | irept | |
| move_to_sub(irept &irep) | irept | |
| name() | cpp_usingt | inline |
| name() const | cpp_usingt | inline |
| named_subt typedef | irept | |
| nonrecursive_destructor(dt *old_data) | irept | protectedstatic |
| operator!=(const irept &other) const | irept | inline |
| operator<(const irept &other) const | irept | |
| operator=(const irept &irep) | irept | inline |
| operator=(irept &&irep) | irept | inline |
| operator==(const irept &other) const | irept | |
| ordering(const irept &other) const | irept | |
| pretty(unsigned indent=0, unsigned max_indent=0) const | irept | |
| read() const | irept | inline |
| remove(const irep_namet &name) | irept | |
| remove_ref(dt *old_data) | irept | protectedstatic |
| set(const irep_namet &name, const irep_idt &value) | irept | inline |
| set(const irep_namet &name, const irept &irep) | irept | inline |
| set(const irep_namet &name, const long long value) | irept | |
| set_namespace(bool value) | cpp_usingt | inline |
| subt typedef | irept | |
| swap(irept &irep) | irept | inline |
| write() | irept | inline |
| ~irept() | irept | inline |