Uses of Interface
dev.civl.mc.kripke.IF.LibraryEnabler

Packages that use LibraryEnabler

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 LibraryEnabler in dev.civl.mc.kripke.IF

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

Modifier and Type	Method	Description
LibraryEnabler	LibraryEnablerLoader.getLibraryEnabler(String name, Enabler primaryEnabler, Evaluator evaluator, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library executor of the given name.