A B C D E F G H K M N O P R S T U V

K

kDepthSelected - Variable in class beverbende.mainUI

The selected knowledge depth

knowsValue() - Method in class beverbende.Fact

KripkeModel - Class in beverbende

KripkeModel(int, int, int) - Constructor for class beverbende.KripkeModel