- k -

• kCS_WITH_DISCOVER_MONOTONE_SIGNALS : kliveness.c
• kCS_WITH_SAFETY_AND_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_AND_USER_GIVEN_DCS_INVARIANTS : kliveness.c
• kCS_WITH_SAFETY_INVARIANTS : kliveness.c
• KISS_type : espresso.h
• Kit_CubeForEachLiteral : kit.h
• Kit_DsdNtkForEachObj : kit.h
• Kit_DsdObjForEachFanin : kit.h
• Kit_DsdObjForEachFaninReverse : 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_PlaCubeForEachVar : kit.h
• Kit_PlaForEachCube : kit.h
• Kit_SopForEachCube : kit.h