Uses of Package
dev.civl.mc.kripke.IF

Packages that use dev.civl.mc.kripke.IF

Package	Description
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.
dev.civl.mc.predicate.IF	Module predicate defines predicates that are required to hold for any CIVL-C programs.

Classes in dev.civl.mc.kripke.IF used by dev.civl.mc.kripke.IF

Class	Description
AtomicStep	This represents an atomic execution step, which represents the execution of exactly one transition.
CIVLStateManager	StateManager extends StateManager for CIVL models.
Enabler	Enabler extends EnablerIF for CIVL models.
LibraryEnabler	A Library Enabler provides a method to compute the enabled transitions of system function calls at a certain state for a give process.
LibraryEnablerLoader	The library enabler loader provides the mechanism for loading the library enabler of a certain library.

Classes in dev.civl.mc.kripke.IF used by dev.civl.mc.predicate.IF

Class	Description
Enabler	Enabler extends EnablerIF for CIVL models.
LibraryEnablerLoader	The library enabler loader provides the mechanism for loading the library enabler of a certain library.