Here is a list of all class members with links to the classes they belong to:
- l -
- lap()
: Clasp::Timer< TimeType >
- last
: Clasp::CBConsequences::CBFinder
, Clasp::Assignment
- last_
: Clasp::Lookahead
, bk_lib::detail::Copy< Iter >
- lastModel()
: Clasp::ClaspFacade::SolveImpl
, Clasp::Enumerator
- lastSimp_
: Clasp::Solver
- lastSort_
: Clasp::SymbolTable
- lastStart_
: Clasp::SymbolTable
- lastTopLevel_
: Clasp::SharedContext
- lastUndoLevel()
: Clasp::DefaultMinimize
- lbd
: Clasp::ClauseHead::Info
, Clasp::Activity
, Clasp::ClauseInfo
, Clasp::ClauseHead
, Clasp::Distributor::Policy
, Clasp::SumQueue
- lbd_
: Clasp::ClauseInfo
- LBD_SHIFT
: Clasp::Activity
- lbdStamp_
: Clasp::Solver
- lbdTime_
: Clasp::Solver
- learnt()
: Clasp::Antecedent
, Clasp::ClauseInfo
, Clasp::ClauseHead
- learnt_conflict
: Clasp::Constraint_t
- learnt_loop
: Clasp::Constraint_t
- learnt_other
: Clasp::Constraint_t
- LearntConstraint()
: Clasp::LearntConstraint
- learntLimit()
: Clasp::Solver
- learntLits()
: Clasp::ExtendedStats
- learnts
: Clasp::SearchLimits
- learnts_
: Clasp::Solver
- left()
: bk_lib::detail::left_right_rep< L, R >
- left_
: bk_lib::detail::left_right_rep< L, R >
- left_align_type
: 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_iterator
: bk_lib::detail::left_right_rep< L, R >
, bk_lib::left_right_sequence< L, R, i >
- 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 >
- left_type
: bk_lib::detail::left_right_rep< L, R >
, bk_lib::left_right_sequence< L, R, i >
, bk_lib::detail::left_right_rep< L, R >
- lemmaIn
: Clasp::Cli::ClaspAppOptions
- lemmaOut
: Clasp::Cli::ClaspAppOptions
- lemmas()
: Clasp::ExtendedStats
- len
: Clasp::ScheduleStrategy
- LessLevel()
: Clasp::ClaspVmtf::LessLevel
- LessOccCost()
: Clasp::SatElite::SatElite::LessOccCost
- lev
: Clasp::DefaultMinimize::Step
- level
: Clasp::DomScore
, Clasp::SharedMinimizeData::LevelWeight
, Clasp::MinimizeBuilder::Weight
, Clasp::ImpliedLiteral
, Clasp::ImpliedList
, Clasp::SharedMinimizeData
, Clasp::Solver
, Clasp::SolverStats
, Clasp::Assignment
, ProgramOptions::Value
- level_
: Clasp::UncoreMinimize
, ProgramOptions::OptionGroup
- level_shift
: ProgramOptions::Value
- levels
: ProgramOptions::Value
- levels_
: Clasp::Solver
- levelStart()
: Clasp::Solver
- LevelWeight()
: Clasp::SharedMinimizeData::LevelWeight
- lfTestInit()
: Clasp::Test::ClauseTest
- lim
: Clasp::SumQueue
- limClause
: Clasp::SatPreParams
- limFrozen
: Clasp::SatPreParams
- limit
: Clasp::BasicSolveOptions
- limit_
: Clasp::Lookahead
- limIters
: Clasp::SatPreParams
- limits()
: Clasp::SolveAlgorithm
- Limits
: Clasp::BasicSolve
- limits_
: Clasp::BasicSolve
, Clasp::SolveAlgorithm
- limOcc
: Clasp::SatPreParams
- limTime
: Clasp::SatPreParams
- line
: Clasp::ParseError
, Clasp::StreamSource
- line_
: Clasp::Cli::TextOutput
, Clasp::StreamSource
- linkRemoved()
: Clasp::SatPreprocessor::Clause
- list
: Clasp::Solver::PPList
- lit()
: Clasp::WeightConstraint
, Clasp::SharedDependencyGraph::Node
, Clasp::SymbolTable::symbol_type
, Clasp::Lookahead::LitNode
, Clasp::UncoreMinimize::LitPair
, Clasp::ImpliedLiteral
, Clasp::WeightConstraint::WL
- LIT_OFFSET
: Clasp::Asp::PrgBody::SumExtra
- LitData()
: Clasp::UncoreMinimize::LitData
- litData_
: Clasp::UncoreMinimize
- Literal()
: Clasp::Literal
- literal()
: Clasp::Asp::PrgNode
- literals_
: Clasp::ClauseCreator
- LiteralTest()
: Clasp::Test::LiteralTest
- litIdx_
: Clasp::Asp::PrgNode
- litMark
: Clasp::SatElite::SatElite::OccurList
- LitNode()
: Clasp::Lookahead::LitNode
- LitPair()
: Clasp::UncoreMinimize::LitPair
- LitRange
: Clasp::Clause
- LitRep
: Clasp::MinimizeBuilder
- LitRepVec
: Clasp::MinimizeBuilder
- lits
: Clasp::UncoreMinimize::WCTemp
, Clasp::OPBParser::Constraint
, Clasp::ClauseRep
, Clasp::ClauseHead::Data
, Clasp::ImpliedList
, Clasp::WeightLitsRep
, Clasp::WeightConstraint::WL
, Clasp::ClauseCreator
, Clasp::SharedMinimizeData
, Clasp::Asp::BodyInfo
, Clasp::Asp::PrgBody
- lits_
: Clasp::Cli::WriteCnf
, Clasp::SharedLiterals
, Clasp::Asp::LogicProgram::MinimizeRule
, Clasp::SatPreprocessor::Clause
, Clasp::WeightConstraint
, Clasp::LoopFormula
, Clasp::MinimizeBuilder
- litSeen()
: Clasp::DefaultMinimize
, Clasp::WeightConstraint
- LitSet
: Clasp::UncoreMinimize
- litsRemoved
: Clasp::SatPreprocessor::Stats
- LitTable
: Clasp::UncoreMinimize
- litToNode_
: Clasp::Asp::Preprocessor
- lLimit
: Clasp::BasicSolveEvent
- lo
: Clasp::Range< T >
- loadCfg
: Clasp::SolverStrategies
- loadConfig()
: Clasp::Cli::ClaspCliConfig
- local
: Clasp::SearchLimits
, Clasp::ClauseCreator::Result
, Clasp::RestartParams
, Clasp::ClauseHead::Data
- lock()
: no_multi_threading::NullMutex
- lock_guard()
: no_multi_threading::lock_guard< M >
- locked
: Clasp::Solver::DBInfo
, Clasp::CBConsequences::CBFinder
, Clasp::LearntConstraint
, Clasp::LoopFormula
, Clasp::Test::TestingConstraint
, Clasp::ClauseHead
- LogEvent()
: Clasp::LogEvent
- LogicProgram()
: Clasp::Asp::LogicProgram
, Clasp::SharedDependencyGraph
, Clasp::Asp::LogicProgram
- LogPtr
: Clasp::SharedContext
- LogType
: Clasp::LogEvent
- longEnd()
: Clasp::Clause
- look_
: Clasp::UnitHeuristic
- lookahead()
: Clasp::Lookahead::Params
- Lookahead()
: Clasp::Lookahead
- LookList
: Clasp::Lookahead
- lookOps
: Clasp::SolverParams
- LookPtr
: Clasp::UnitHeuristic
- lookType
: Clasp::SolverParams
- loop
: Clasp::Distributor::Policy
- loopAtoms_
: Clasp::DefaultUnfoundedCheck
- LoopFormula()
: Clasp::LoopFormula
- loopRep
: Clasp::SolverParams
- low
: Clasp::DefaultUnfoundedCheck::MinimalityCheck
- lower()
: Clasp::SharedMinimizeData
, Clasp::DefaultUnfoundedCheck::ExtData
, Clasp::SharedMinimizeData
- lower_
: Clasp::UncoreMinimize
, Clasp::SharedMinimizeData
- lower_bound()
: Clasp::SymbolTable
- lower_or_ext
: Clasp::DefaultUnfoundedCheck::BodyData
- LPARSE
: Clasp::Problem_t
- LparseParser()
: Clasp::LparseParser
- lpStats()
: Clasp::ClaspFacade::Summary
- LpStats()
: Clasp::Asp::LpStats
- lpStats_
: Clasp::ClaspFacade
- LpStatsPtr
: Clasp::ClaspFacade
- luby()
: Clasp::ScheduleStrategy
- luby_schedule
: Clasp::ScheduleStrategy