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

Packages that use LibraryExecutor

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

Modifier and Type	Method	Description
LibraryExecutor	LibraryExecutorLoader.getLibraryExecutor(String name, Executor primaryExecutor, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library executor of the given name.