- k -

• KISS_type : espresso.h
• Kit_CubeForEachLiteral : kit.h
• Kit_DsdNtkForEachObj : kit.h
• Kit_DsdObjForEachFanin : kit.h
• KIT_FACTOR_MEM_LIMIT : kitFactor.c
• Kit_GraphForEachLeaf : kit.h
• Kit_GraphForEachNode : kit.h
• KIT_INFINITY : kit.h
• KIT_ISOP_MEM_LIMIT : kitIsop.c
• KIT_MAX : kit.h
• KIT_MIN : kit.h
• Kit_SopForEachCube : kit.h