Here is a list of all variables with links to the classes they belong to:
- l -
- l_buf : internal_state
- l_desc : internal_state
- lab : coloring
- label : PLA_t, symbolic_label_struct
- lag : NodeLag_T_
- large : watch
- large_clauses_watched_after_binary_clauses : kissat
- largecount : closure
- last : CaDiCaL::Factoring, CaDiCaL::Internal, CaDiCaL::Queue, CaDiCaL::Sweeper, cadical_kitten, factoring, inflate_state, kissat, kitten, queue, sweeper
- last_col : sm_matrix_struct, sm_row_struct
- last_dlevel : solver_t_
- last_eob_len : internal_state
- last_flush : internal_state
- last_irredundant : kissat
- last_learned : kissat
- last_lit : internal_state
- last_part : cube_struct
- last_row : sm_col_struct, sm_matrix_struct
- last_word : cube_struct
- lastblockatrestart : Gluco2::Solver, Gluco::Solver
- lastErr : bzFile
- lastIndexRed : Gluco2::Solver, Gluco::Solver
- LastLit : Gia_ManUnr_t_
- lazy_propagated_idx : CaDiCaL::Closure
- lbd : clause, clause_t, Gluco2::Clause, Gluco::Clause
- lbd_freeze_clause : satoko_opts
- lbdQueue : Gluco2::Solver, Gluco::Solver
- lbLBDFrozenClause : Gluco2::Solver, Gluco::Solver
- lbLBDMinimizingClause : Gluco2::Solver, Gluco::Solver
- lbSizeMinimizingClause : Gluco2::Solver, Gluco::Solver
- lCand : Ivy_FraigMan_t_
- lci : Rpo_Man_t_
- lClasses : Ivy_FraigMan_t_
- lCubes : FxuMatrix, MvcCoverStruct
- LData : Rtm_Edg_t_
- leakage : SC_Cell_
- leakageI : SC_Cell_
- learned : CaDiCaL::proof_clause, CaDiCaL::Stats, CaDiCaL::sweep_proof_clause, cadical_kitten, kitten, statistics
- learner : CaDiCaL::External, CaDiCaL::Wrapper
- learnt : Gluco2::Clause, Gluco::Clause, Minisat::Clause, satset_t
- learnt_live : sat_solver2_t
- learnt_ratio : satoko_opts
- learnts : Gluco2::Solver, Gluco::Solver, Minisat::Solver, solver_t_, stats_t
- learnts_literals : Gluco2::Solver, Gluco::Solver, Minisat::Solver, stats_t
- learntsize_adjust_cnt : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- learntsize_adjust_confl : Gluco2::Solver, Gluco::Solver, Minisat::Solver
- learntsize_adjust_inc : Minisat::Solver
- learntsize_adjust_start_confl : Minisat::Solver
- learntsize_factor : Minisat::Solver
- learntsize_inc : Minisat::Solver
- left : avl_node_struct, ltlNode_t, rrr::SW
- len : ct_data_s, DState, EState
- len_pack : EState
- lenbits : inflate_state
- lencode : inflate_state
- length : inflate_state, sm_col_struct, sm_row_struct
- lens : inflate_state
- lev : _reo_unit, saucy, varinfo_t
- Level : Abc_Obj_t_, Aig_Obj_t_, Amap_Obj_t_, Dar_LibDat_t_, Dec_Node_t_, Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Gia_Rsb2Man_t_, If_Obj_t_, Iso_Dat_t_, Iso_Obj_t_, Ivy_Eval_t_, Ivy_Obj_t_, Kit_Node_t_, LUT, Map_NodeStruct_t_, Nwk_Obj_t_, Rwr_Node_t_, Rwt_Node_t_, Tas_Var_t_
- level : assigned, CaDiCaL::Averages, CaDiCaL::Internal, CaDiCaL::Var, cadical_kitten, Gluco2::Solver::VarData, Gluco::Solver::VarData, gz_state, internal_state, kissat, kitten, Minisat::Solver::VarData
- LevelBest : Dar_Man_t_, Ref_Man_t_
- LevelMax : Abc_Ntk_t_, Acb_Ntk_t_
- levels : CaDiCaL::Internal, kissat, sat_solver2_t, sat_solver3_t, sat_solver_t, saucy_stats, solver_t_
- levelsreused : CaDiCaL::Stats
- lhs : CaDiCaL::Gate, CaDiCaL::sort_literals_by_var_rank_except, CaDiCaL::sort_literals_by_var_smaller_except, gate
- lim : CaDiCaL::Internal
- LimAbs : Ga2_Man_t_
- Limit : Aig_Sto_t_, Spl_Man_t_
- limit : CaDiCaL::Delay, CaDiCaL::Factoring, CaDiCaL::Sweeper, CaDiCaL::Walker, DState, factoring, reluctant, sweeper, unsigned_fifo
- limited : kissat, reluctant
- limits : cadical_kitten, kissat, kitten
- LimPpi : Ga2_Man_t_
- LineCur : Io_ReadBlif_t_
- links : CaDiCaL::Internal, cadical_kitten, kissat, kitten
- Lit : xSAT_Clause_t_
- lit : binary_tagged_literal, CaDiCaL::Bin, CaDiCaL::definition_extractor, CaDiCaL::literal_occ, CaDiCaL::LitIdPair, CaDiCaL::sweep_binary, clause, definition_extractor, extension, Gluco2::Clause, Gluco::Clause, import, litwatch, Minisat::Clause
- lit0 : Gluco2::Solver::NodeData
- lit1 : CaDiCaL::CompactBinary, Gluco2::Solver::NodeData
- lit2 : CaDiCaL::CompactBinary
- lit_bufsize : internal_state
- LitA : Tab_Obj_t_
- LitB : Tab_Obj_t_
- LitC : Tab_Obj_t_
- LitCountMax : Fx_Man_t_, Fxch_Man_t_, FxuDataStruct
- literals : CaDiCaL::CheckerClause, CaDiCaL::Clause, CaDiCaL::IdrupClause, CaDiCaL::LidrupClause, CaDiCaL::LratCheckerClause, CaDiCaL::proof_clause, CaDiCaL::Stats, CaDiCaL::sweep_blocked_clause, CaDiCaL::sweep_proof_clause, Rpo_Man_t_
- literals_factored : CaDiCaL::Stats
- literals_unfactored : CaDiCaL::Stats
- literalsreused : CaDiCaL::Stats
- Lits : Pdr_Set_t_
- lits : CaDiCaL::Closure, CaDiCaL::Internal, cadical_kitten, clause, clause_t, closure, kitten, klause, litpair, litriple
- LitShift : Sbm_Man_t_
- ll16 : DState
- ll4 : DState
- lLits : FxuCube, FxuVar
- lo : CaDiCaL::Option
- loads : sat_solver3_t, sat_solver_t
- loc : FM_cell
- LocalBatchSize : Cec5_Man_t_
- localsearch : CaDiCaL::Inc, CaDiCaL::Limit
- localsearching : CaDiCaL::Internal
- locked : FM_cell
- log : eSLIM::SelectionStrategy< T >
- LogN : Sbl_Man_t_, Sbm_Man_t_, Seg_Man_t_
- LogPage : Lf_Mem_t_
- LogPageSze : Vec_Mem_t_
- lookahead : internal_state
- lookingahead : CaDiCaL::Internal
- loop_done : qps_problem
- loop_fail : qps_problem
- loop_k : qps_problem
- loop_list : qps_problem
- loop_max : qps_problem
- loop_num : qps_problem
- loop_penalty : qps_problem
- low : MtrNode
- lower_bound : stats_struct
- lPairs : FxuDouble
- lrat : CaDiCaL::Internal
- lrat_chain : CaDiCaL::Closure, CaDiCaL::Internal
- lrat_chain_and_gate : CaDiCaL::Closure
- lrat_stack : CaDiCaL::Vivifier
- lrn : clause_t
- lSingles : FxuMatrix
- luby_restart : Minisat::Solver
- lucky : CaDiCaL::Stats
- lut_size : acd::ac_decomposition_params, acd::acdXX_params
- LutMask : Exa3_Man_t_, Zyx_Man_t_
- LutMax : Fpga_LutLibStruct_t_, If_LibLut_t_, Mpm_LibLut_t_
- LutSize : If_DsdMan_t_, Mini_Lut_t_, Sbl_Man_t_
- LValue : Fpga_NodeStruct_t_, If_Obj_t_
- lVars : FxuMatrix
- lww : Ttopt::TruthTable
