- l -

• lbool : satSolver.h
• ldiv_t : stdlib_hack.h
• lib_init_end_func : libSupport.c
• lit : satSolver.h , satStore.h , pr.c
• Lpk_Cut_t : lpkInt.h
• Lpk_Fun_t : lpkInt.h
• Lpk_Man_t : lpkInt.h
• Lpk_Par_t : lpk.h
• Lpk_Res_t : lpkInt.h
• Lpk_Set_t : lpkSets.c