- l -

• l_False : satVec.h
• l_True : satVec.h
• l_Undef : satVec.h
• large : cuddGenetic.c
• last_fp : misc/espresso/main.c
• lastTimeG : cuddDecomp.c
• lenfix : inffixed.h
• libHandles : libSupport.c
• lightNodePages : cuddSubsetHB.c
• line_length_error : cvrin.c
• lineno : cvrin.c
• lit : pr.c
• LIT_UNDEF : satInter.c
• lit_Undef : satVec.h
• LIT_UNDEF : satInterB.c , satInterP.c , pr.c , satInterA.c