| 
    CBMC
    
   | 
 
This is the complete list of members for base_ref_infot, including all inherited members.
| base_ref_infot(const pool_entryt &entry) | base_ref_infot | inlineexplicit | 
| class_index | base_ref_infot | private | 
| get_class(const pool_entry_lookupt &pool_entry) const | base_ref_infot | inline | 
| get_class_index() const | base_ref_infot | inline | 
| get_name_and_type(const pool_entry_lookupt &pool_entry) const | base_ref_infot | inline | 
| get_name_and_type_index() const | base_ref_infot | inline | 
| get_tag() const | structured_pool_entryt | inline | 
| name_and_type_index | base_ref_infot | private | 
| pool_entry_lookupt typedef | structured_pool_entryt | |
| pool_entryt typedef | structured_pool_entryt | |
| read_utf8_constant(const pool_entryt &entry) | structured_pool_entryt | inlineprotectedstatic | 
| structured_pool_entryt(const pool_entryt &entry) | structured_pool_entryt | inlineexplicit | 
| tag | structured_pool_entryt | private |