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

K

Kripkestructure - Class in de.upb.swt.mcie.mc
Implements a Kripke structure.
Kripkestructure(Context) - Constructor for class de.upb.swt.mcie.mc.Kripkestructure
Constructs an empty Kripke structure.
Kripkestructure(Context, ROBDD, ROBDD) - Constructor for class de.upb.swt.mcie.mc.Kripkestructure
Constructs a Kripke structure from the provided ROBDDs for the initial condition and the transition relation.

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