- l -

• lcm() : smtrat::lra
• leadcoefficient() : smtrat::mcsat::onecellcad
• level_of() : smtrat::helper
• levelOf() : smtrat::mcsat::onecellcad , smtrat::onecellcad::recursive
• loadBenchmarks() : benchmax
• loadTools() : benchmax
• local_del_ordering() : smtrat::cadcells::representation::util
• local_del_poly_independent() : smtrat::cadcells::representation::util
• log() : smtrat::covering_ng::formula::formula_ds
• logging_configure() : benchmax
• logging_quiet() : benchmax
• logging_verbose() : benchmax
• lower_eq_lower() : smtrat::cadcells::datastructures
• lower_lt_lower() : smtrat::cadcells::datastructures