- l -

• l : Minisat::Solver::ShrinkStackElem
• label_selections : ShowWorker
• labelCounter : SccWorker
• last_here_document : Frontend
• learnt : Minisat::Clause
• learnts : Minisat::Solver
• learnts_literals : Minisat::Solver
• 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
• len : NumberlikeArray< Blk >
• less : BigInteger
• level : Minisat::Solver::VarData
• lib : AST::AstModule
• limit : ShareWorkerConfig
• limit_transitions : FsmExpand
• line : Yosys::LibertyParser
• line_num : BtorDumper
• line_ref : BtorDumper
• linebuf : abc_output_filter
• linenum : AST::AstNode
• list_p : RTLIL::ObjIterator< T > , RTLIL::ObjRange< T >
• lit : Minisat::Clause
• literals : ezSAT
• literalsCache : ezSAT
• lits : Minisat::TrailIterator
• loops : TopoSort< T, C >
• lt : Minisat::Heap< K, Comp, MkIndex >
• luby_restart : Minisat::Solver