- l -

• l_False : satSolver.h
• l_True : satSolver.h
• l_Undef : satSolver.h
• large : cuddGenetic.c
• last_fp : main.c
• lastTimeG : cuddDecomp.c
• libHandles : libSupport.c
• lightNodePages : cuddSubsetHB.c
• line_length_error : cvrin.c
• lineno : cvrin.c
• lit_Undef : satSolver.h
• LIT_UNDEF : pr.c , satInter.c