- l -

• label_to_string() : spot::taa_tgba_formula, spot::taa_tgba_labelled< label >, spot::taa_tgba_string
• language_containment_checker() : spot::language_containment_checker
• latch_bdd() : spot::aig
• latch_var() : spot::aig
• livelock_detection() : spot::ta_check
• lowest() : spot::acc_cond::mark_t