Here is a list of all typedefs with links to the classes they belong to:

- c -

• call_stackt : goto_symex_statet
• cap_mapt : clang_cpp_convertert
• case_stackst : goto_convertt
• cases_mapt : goto_convertt
• casest : goto_convertt
• caset : goto_convertt
• char_type : std::char_traits< charT >
• class_t : esbmct::member_traits< const M C::* >, esbmct::member_traits< M C::* >
• componentst : struct_union_typet
• computed_gotost : goto_convertt
• conjunct_indext : goto_symext
• const_iterator : array, guard_seq, parse_result, path, persistent_map< K, V, Hash >, persistent_set< K, Hash >, table, value_sett::object_map_dt
• const_op_delegate : expr2t
• const_reference : array
• const_subtype_delegate : type2t
• const_targetst : goto_programt, goto_programt::instructiont
• const_targett : goto_programt, goto_programt::instructiont
• container_type : expr2t, type2t
• current_namest : renaming::level1t, renaming::level2t
• current_state_hashest : execution_statet::state_hashing_level2t