- l -

• last : Clasp::CBConsequences::CBFinder
• last_ : Clasp::Lookahead , bk_lib::detail::Copy< Iter >
• lastSimp_ : Clasp::Solver
• lastSort_ : Clasp::SymbolTable
• lastStart_ : Clasp::SymbolTable
• lastTopLevel_ : Clasp::SharedContext
• lbd : Clasp::Distributor::Policy , Clasp::SumQueue , Clasp::ClauseHead::Info
• lbd_ : Clasp::ClauseInfo
• lbdStamp_ : Clasp::Solver
• lbdTime_ : Clasp::Solver
• learnts : Clasp::SearchLimits
• learnts_ : Clasp::Solver
• left_ : bk_lib::detail::left_right_rep< L, R >
• left_align_type : bk_lib::detail::left_right_rep< L, R >
• left_type : bk_lib::detail::left_right_rep< L, R >
• lemmaIn : Clasp::Cli::ClaspAppOptions
• lemmaOut : Clasp::Cli::ClaspAppOptions
• len : Clasp::ScheduleStrategy
• lev : Clasp::DefaultMinimize::Step
• level : Clasp::DomScore , Clasp::SharedMinimizeData::LevelWeight , Clasp::MinimizeBuilder::Weight , Clasp::ImpliedLiteral , Clasp::ImpliedList
• level_ : Clasp::UncoreMinimize , ProgramOptions::OptionGroup
• levels_ : Clasp::Solver
• lim : Clasp::SumQueue
• limClause : Clasp::SatPreParams
• limFrozen : Clasp::SatPreParams
• limit : Clasp::BasicSolveOptions
• limit_ : Clasp::Lookahead
• limIters : Clasp::SatPreParams
• limits_ : Clasp::BasicSolve , Clasp::SolveAlgorithm
• limOcc : Clasp::SatPreParams
• limTime : Clasp::SatPreParams
• line : Clasp::ParseError
• line_ : Clasp::Cli::TextOutput , Clasp::StreamSource
• list : Clasp::Solver::PPList
• lit : Clasp::SharedDependencyGraph::Node , Clasp::SymbolTable::symbol_type , Clasp::Lookahead::LitNode , Clasp::UncoreMinimize::LitPair , Clasp::ImpliedLiteral
• litData_ : Clasp::UncoreMinimize
• literals_ : Clasp::ClauseCreator
• litIdx_ : Clasp::Asp::PrgNode
• litMark : Clasp::SatElite::SatElite::OccurList
• lits : Clasp::Asp::PrgBody , Clasp::ClauseRep , Clasp::Asp::BodyInfo , Clasp::WeightConstraint::WL , Clasp::SharedMinimizeData , Clasp::UncoreMinimize::WCTemp , Clasp::OPBParser::Constraint , Clasp::ClauseHead::Data , Clasp::ImpliedList , Clasp::WeightLitsRep
• lits_ : Clasp::Cli::WriteCnf , Clasp::SharedLiterals , Clasp::LoopFormula , Clasp::MinimizeBuilder , Clasp::SatPreprocessor::Clause , Clasp::Asp::LogicProgram::MinimizeRule , Clasp::WeightConstraint
• litsRemoved : Clasp::SatPreprocessor::Stats
• litToNode_ : Clasp::Asp::Preprocessor
• lLimit : Clasp::BasicSolveEvent
• lo : Clasp::Range< T >
• loadCfg : Clasp::SolverStrategies
• local : Clasp::SearchLimits , Clasp::ClauseCreator::Result , Clasp::ClauseHead::Data
• locked : Clasp::Solver::DBInfo , Clasp::CBConsequences::CBFinder
• look_ : Clasp::UnitHeuristic
• lookOps : Clasp::SolverParams
• lookType : Clasp::SolverParams
• loopAtoms_ : Clasp::DefaultUnfoundedCheck
• loopRep : Clasp::SolverParams
• low : Clasp::DefaultUnfoundedCheck::MinimalityCheck
• lower : Clasp::DefaultUnfoundedCheck::ExtData
• lower_ : Clasp::SharedMinimizeData , Clasp::UncoreMinimize
• lower_or_ext : Clasp::DefaultUnfoundedCheck::BodyData
• lpStats_ : Clasp::ClaspFacade