Module dev.civl.mc

Package dev.civl.mc.kripke.IF

package dev.civl.mc.kripke.IF

Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.

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.
Kripkes	This is the entry point of the module kripke.
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.
TraceStep	TraceStep extends TraceStepIF for CIVL models.