Uses of Class
dev.civl.mc.kripke.IF.CIVLStateManager

Packages that use CIVLStateManager

Package	Description
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.

Uses of CIVLStateManager in dev.civl.mc.kripke.IF

Methods in dev.civl.mc.kripke.IF that return CIVLStateManager

Modifier and Type	Method	Description
static CIVLStateManager	Kripkes.newStateManager(Enabler enabler, Executor executor, SymbolicAnalyzer symbolicAnalyzer, CIVLErrorLogger errorLogger, CIVLConfiguration config)	Creates a new instance of state manager.