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

Packages that use LibraryEnablerLoader

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.

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

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

Modifier and Type	Method	Description
static LibraryEnablerLoader	Kripkes.newLibraryEnablerLoader(LibraryEvaluatorLoader libEvaluatorLoader, CIVLConfiguration civlConfig)	Creates a new instance of library enabler loader.

Methods in dev.civl.mc.kripke.IF with parameters of type LibraryEnablerLoader

Modifier and Type	Method	Description
static Enabler	Kripkes.newEnabler(StateFactory stateFactory, Evaluator evaluator, Executor executor, SymbolicAnalyzer symbolicAnalyzer, MemoryUnitFactory memUnitFactory, LibraryEnablerLoader libLoader, CIVLErrorLogger errorLogger, CIVLConfiguration civlConfig, dev.civl.gmc.GMCConfiguration gmcConfig)	Creates a new instance of enabler.

Uses of LibraryEnablerLoader in dev.civl.mc.predicate.IF

Methods in dev.civl.mc.predicate.IF with parameters of type LibraryEnablerLoader

Modifier and Type	Method	Description
static PotentialDeadlock	Predicates.newPotentialDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe, Enabler enabler, LibraryEnablerLoader loader, Evaluator evaluator, ModelFactory modelFactory, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)