Uses of Interface
dev.civl.mc.semantics.IF.LibraryEvaluatorLoader

Packages that use LibraryEvaluatorLoader

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.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

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

Uses of LibraryEvaluatorLoader in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF that return LibraryEvaluatorLoader

Modifier and Type	Method	Description
static LibraryEvaluatorLoader	Semantics.newLibraryEvaluatorLoader(CIVLConfiguration civlConfig)	Creates a new instance of library evaluator loader.

Methods in dev.civl.mc.semantics.IF with parameters of type LibraryEvaluatorLoader

Modifier and Type	Method	Description
static Evaluator	Semantics.newErrorSideEffectFreeEvaluator(ModelFactory modelFactory, StateFactory stateFactory, LibraryEvaluatorLoader loader, LibraryExecutorLoader loaderExec, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer, MemoryUnitFactory memUnitFactory, CIVLErrorLogger errLogger, CIVLConfiguration config)	Creates a new instance of ErrorSideEffectFreeEvaluator.
static Evaluator	Semantics.newEvaluator(ModelFactory modelFactory, StateFactory stateFactory, LibraryEvaluatorLoader loader, LibraryExecutorLoader loaderExec, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer, MemoryUnitFactory memUnitFactory, CIVLErrorLogger errLogger, CIVLConfiguration config)	Creates a new instance of CIVL evaluator.
static LibraryExecutorLoader	Semantics.newLibraryExecutorLoader(LibraryEvaluatorLoader libEvaluatorLoader, CIVLConfiguration civlConfig)	Creates a new instance of library executor loader.