Here is a list of all functions with links to the classes they belong to:

- l -

• largecount() : CaDiCaL::Closure
• largecounts() : CaDiCaL::Closure
• Last() : CaDiCaL::Last
• last() : Gluco2::Clause, Gluco2::vec< T >, Gluco::Clause, Gluco::vec< T >, Minisat::Clause, Minisat::vec< T >
• lazy_propagated() : CaDiCaL::Closure
• lbd() : Gluco2::Clause, Gluco::Clause
• lbool() : Gluco2::lbool, Gluco::lbool, Minisat::lbool
• lea() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >, Minisat::ClauseAllocator, Minisat::RegionAllocator< T >
• learn() : CaDiCaL::Learner, CaDiCaL::Wrapper
• learn_binary_tmp_or_full_clause() : CaDiCaL::Closure
• learn_congruence_unit() : CaDiCaL::Closure
• learn_congruence_unit_falsifies_lrat_chain() : CaDiCaL::Closure
• learn_congruence_unit_when_lhs_set() : CaDiCaL::Closure
• learn_empty_clause() : CaDiCaL::Internal
• learn_external_reason_clause() : CaDiCaL::Internal
• learn_unit_clause() : CaDiCaL::Internal
• learning() : CaDiCaL::Learner, CaDiCaL::Wrapper
• learnt() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• Level() : CaDiCaL::Level, NewBdd::Man, rrr::NewBdd::Man
• level() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• LevelBasePartitioner() : rrr::LevelBasePartitioner< Ntk >
• LidrupTracer() : CaDiCaL::LidrupTracer
• likely_phase() : CaDiCaL::Internal
• likely_to_be_kept_clause() : CaDiCaL::Internal
• Limit() : CaDiCaL::Limit
• limit() : CaDiCaL::Internal, CaDiCaL::Solver
• limit_conflicts() : CaDiCaL::Internal
• limit_decisions() : CaDiCaL::Internal
• limit_local_search() : CaDiCaL::Internal
• limit_preprocessing() : CaDiCaL::Internal
• limit_terminate() : CaDiCaL::Internal
• lineno() : CaDiCaL::File
• link() : CaDiCaL::Internal
• Lit2Bvar() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• lit2citten() : CaDiCaL::Internal
• lit_equivalence() : CaDiCaL::lit_equivalence
• lit_implication() : CaDiCaL::lit_implication
• LitClausePair() : CaDiCaL::LitClausePair
• LitIdPair() : CaDiCaL::LitIdPair
• LitIrregular() : NewBdd::Man, rrr::NewBdd::Man
• LitIsCompl() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• LitIsEq() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• LitNot() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• LitNotCond() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• litpair_rank() : CaDiCaL::litpair_rank
• litpair_smaller() : CaDiCaL::litpair_smaller
• litRedundant() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• LitRegular() : NewBdd::Man, rrr::NewBdd::Man
• LitVecIsEq() : Transduction::ManUtil< Man, lit, LitMax >
• Load() : rrr::AndNetwork, Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableReo
• LoadIndices() : Ttopt::TruthTable, Ttopt::TruthTableCare, Ttopt::TruthTableReo
• loadJust() : Gluco2::Solver
• loadJust_rec() : Gluco2::Solver
• local_search() : CaDiCaL::Internal
• local_search_round() : CaDiCaL::Internal
• locked() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• lookahead() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• lookahead_flush_probes() : CaDiCaL::Internal
• lookahead_generate_probes() : CaDiCaL::Internal
• lookahead_locc() : CaDiCaL::Internal
• lookahead_next_probe() : CaDiCaL::Internal
• lookahead_populate_locc() : CaDiCaL::Internal
• lookahead_probing() : CaDiCaL::Internal
• Lookup() : NewBdd::Cache, rrr::NewBdd::Cache
• lookup() : Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >
• LratChecker() : CaDiCaL::LratChecker
• LratTracer() : CaDiCaL::LratTracer
• lucky_phases() : CaDiCaL::Internal
• lucky_propagate_discrepency() : CaDiCaL::Internal