Here is a list of all struct and union fields with links to the structures/unions they belong to:

- l -

• l_buf : internal_state
• l_desc : internal_state
• lab : coloring
• label : PLA_t , symbolic_label_struct
• last : DdLevelQueue , inflate_state , Minisat::Clause , Minisat::vec< T >
• last_col : sm_matrix_struct , sm_row_struct
• last_eob_len : internal_state
• last_flush : internal_state
• last_lit : internal_state
• last_part : cube_struct
• last_row : sm_col_struct , sm_matrix_struct
• last_word : cube_struct
• lastErr : bzFile
• LastLit : Gia_ManUnr_t_
• lbd : clause_t
• lbool() : Minisat::lbool
• lCand : Ivy_FraigMan_t_
• lci : Rpo_Man_t_
• lClasses : Ivy_FraigMan_t_
• lCubes : FxuMatrix , MvcCoverStruct
• LData : Rtm_Edg_t_
• lea() : Minisat::ClauseAllocator , Minisat::RegionAllocator< T >
• leakage : SC_Cell_
• learnt : Minisat::Clause , satset_t
• learnt_live : sat_solver2_t
• learnts : Minisat::Solver , stats_t
• learnts_literals : Minisat::Solver , stats_t
• learntsize_adjust_cnt : Minisat::Solver
• learntsize_adjust_confl : 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 , Minisat::Heap< Comp >
• 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_
• level : gz_state
• Level : If_Obj_t_
• level : internal_state
• Level : Iso_Dat_t_ , Iso_Obj_t_ , Ivy_Eval_t_ , Ivy_Obj_t_ , Kit_Node_t_ , LUT , Map_NodeStruct_t_
• level() : Minisat::Solver , Minisat::Solver::VarData
• Level : Nwk_Obj_t_ , Rwr_Node_t_ , Rwt_Node_t_ , Tas_Var_t_
• LevelBest : Dar_Man_t_ , Ref_Man_t_
• LevelMax : Abc_Ntk_t_
• levels : DdLevelQueue , sat_solver2_t , sat_solver_t , saucy_stats
• lightChildNodesPointer : NodeData
• LimAbs : Ga2_Man_t_
• Limit : Aig_Sto_t_
• limit : DState
• LimPpi : Ga2_Man_t_
• linear : DdManager
• linearSize : DdManager
• LineCur : Io_ReadBlif_t_
• lit : Minisat::Clause
• lit_bufsize : internal_state
• LitCountMax : Fx_Man_t_ , FxuDataStruct
• literals : Rpo_Man_t_
• litRedundant() : Minisat::Solver
• lits : clause_t
• Lits : Pdr_Set_t_
• ll16 : DState
• ll4 : DState
• lLits : FxuCube , FxuVar
• loads : sat_solver_t
• loc : FM_cell
• localCaches : DdManager
• localRef : LocalQueueItem , NodeStat
• locked : FM_cell , Minisat::Solver
• log : pyabc_split.abc_state
• LogPage : Lf_Mem_t_
• LogPageSze : Vec_Mem_t_
• lookahead : internal_state
• lookup() : Minisat::OccLists< Idx, Vec, Deleted >
• lookUps : DdLocalCache
• 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
• looseUpTo : DdManager
• low : MtrNode
• lower_bound : stats_struct
• lPairs : FxuDouble
• lrn : clause_t
• lSingles : FxuMatrix
• lt : Minisat::Heap< Comp >
• luby_restart : Minisat::Solver
• LutMax : Fpga_LutLibStruct_t_ , If_LibLut_t_ , Mpm_LibLut_t_
• LutSize : If_DsdMan_t_
• LValue : Fpga_NodeStruct_t_ , If_Obj_t_
• lVars : FxuMatrix