A B C D E F G H I J K L M N O P Q R S T V W

K

km - Static variable in class FormulaTester

Know - Class in <Unnamed>

Implements the K_i operator for S5

Know(int, Formula) - Constructor for class Know

Create a new K-formula

KripkeModel - Class in <Unnamed>

KripkeModel(Dealing, int) - Constructor for class KripkeModel

KripkeModel(KripkeModel) - Constructor for class KripkeModel

Constructs a deep copy (except for sdMap) of the KripkeModel.

A B C D E F G H I J K L M N O P Q R S T V W