- l -

• label : symbolic_label_struct , PLA_t
• last : DdLevelQueue
• last_col : sm_row_struct , sm_matrix_struct
• last_part : cube_struct
• last_row : sm_matrix_struct , sm_col_struct
• last_word : cube_struct
• lCand : Ivy_FraigMan_t_
• lClasses : Ivy_FraigMan_t_
• lCubes : MvcCoverStruct , FxuMatrix
• LData : Rtm_Edg_t_
• learnts : sat_solver_t , stats_t
• learnts_literals : stats_t
• length : sm_row_struct , sm_col_struct
• lev : _reo_unit
• Level : Map_NodeStruct_t_ , Rwr_Node_t_ , Fraig_NodeStruct_t_ , Aig_Obj_t_ , Dar_LibDat_t_ , Dec_Node_t_ , Ivy_Obj_t_ , Ivy_Eval_t_ , Kit_Node_t_ , Rwt_Node_t_ , If_Obj_t_ , Abc_Obj_t_ , LUT , Fpga_NodeStruct_t_
• LevelBest : Dar_Man_t_ , Ref_Man_t_
• LevelMax : Abc_Ntk_t_
• levels : DdLevelQueue , sat_solver_t
• lightChildNodesPointer : NodeData
• linear : DdManager
• linearSize : DdManager
• LineCur : Io_ReadBlif_t_
• lits : clause_t
• lLits : FxuCube , FxuVar
• localCaches : DdManager
• localRef : LocalQueueItem , NodeStat
• lookUps : DdLocalCache
• looseUpTo : DdManager
• low : MtrNode
• lower_bound : stats_struct
• lPairs : FxuDouble
• lSingles : FxuMatrix
• LutMax : If_Lib_t_ , Fpga_LutLibStruct_t_
• LValue : If_Obj_t_ , Fpga_NodeStruct_t_
• lVars : FxuMatrix