- l -

• lap() : Clasp::Timer< TimeType >
• last() : Clasp::Assignment
• lastModel() : Clasp::Enumerator , Clasp::ClaspFacade::SolveImpl
• lastUndoLevel() : Clasp::DefaultMinimize
• lbd() : Clasp::ClauseInfo , Clasp::ClauseHead , Clasp::Activity
• learnt() : Clasp::Antecedent , Clasp::ClauseInfo , Clasp::ClauseHead
• LearntConstraint() : Clasp::LearntConstraint
• learntLimit() : Clasp::Solver
• learntLits() : Clasp::ExtendedStats
• left() : bk_lib::detail::left_right_rep< L, R >
• left_begin() : bk_lib::detail::left_right_rep< L, R >
• left_capacity() : bk_lib::detail::left_right_rep< L, R >
• left_end() : bk_lib::detail::left_right_rep< L, R >
• left_right_rep() : bk_lib::detail::left_right_rep< L, R >
• left_right_sequence() : bk_lib::left_right_sequence< L, R, i >
• left_size() : bk_lib::detail::left_right_rep< L, R >
• lemmas() : Clasp::ExtendedStats
• LessLevel() : Clasp::ClaspVmtf::LessLevel
• LessOccCost() : Clasp::SatElite::SatElite::LessOccCost
• level() : Clasp::SharedMinimizeData , Clasp::Solver , Clasp::SolverStats , Clasp::Assignment , ProgramOptions::Value
• levelStart() : Clasp::Solver
• LevelWeight() : Clasp::SharedMinimizeData::LevelWeight
• lfTestInit() : Clasp::Test::ClauseTest
• limits() : Clasp::SolveAlgorithm
• line() : Clasp::StreamSource
• linkRemoved() : Clasp::SatPreprocessor::Clause
• lit() : Clasp::WeightConstraint::WL , Clasp::WeightConstraint
• LitData() : Clasp::UncoreMinimize::LitData
• Literal() : Clasp::Literal
• literal() : Clasp::Asp::PrgNode
• LiteralTest() : Clasp::Test::LiteralTest
• LitNode() : Clasp::Lookahead::LitNode
• LitPair() : Clasp::UncoreMinimize::LitPair
• lits() : Clasp::ClauseCreator
• litSeen() : Clasp::WeightConstraint , Clasp::DefaultMinimize
• loadConfig() : Clasp::Cli::ClaspCliConfig
• local() : Clasp::RestartParams
• lock() : no_multi_threading::NullMutex
• lock_guard() : no_multi_threading::lock_guard< M >
• locked() : Clasp::LoopFormula , Clasp::Test::TestingConstraint , Clasp::ClauseHead , Clasp::LearntConstraint
• LogEvent() : Clasp::LogEvent
• LogicProgram() : Clasp::Asp::LogicProgram
• longEnd() : Clasp::Clause
• lookahead() : Clasp::Lookahead::Params
• Lookahead() : Clasp::Lookahead
• LoopFormula() : Clasp::LoopFormula
• lower() : Clasp::SharedMinimizeData
• lower_bound() : Clasp::SymbolTable
• LparseParser() : Clasp::LparseParser
• lpStats() : Clasp::ClaspFacade::Summary
• LpStats() : Clasp::Asp::LpStats
• luby() : Clasp::ScheduleStrategy