A B C D E F G H I J K L M N O P R S T U V W X Y Z _

K

keySet() - Method in class edu.mit.csail.sdg.alloy4.ConstMap

Returns an unmodifiable view of the keys in this map.

KK - Static variable in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver

Outputs the raw Kodkod file only

KK - Class in tmp

KK() - Constructor for class tmp.KK