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

- l -

• labelst : goto_convertt, goto_programt::instructiont
• langmapt : language_uit
• llong_t : BigInt
• locationt : abstract_domain_baset, static_analysis_baset, static_analysist< T >, value_set_analysist, value_setst
• loop_iterationst : goto_symex_statet
• loop_varst : loopst