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

Packages that use Executor

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

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

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.
static CIVLStateManager	Kripkes.newStateManager(Enabler enabler, Executor executor, SymbolicAnalyzer symbolicAnalyzer, CIVLErrorLogger errorLogger, CIVLConfiguration config)	Creates a new instance of state manager.

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

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

Modifier and Type	Method	Description
static Executor	Semantics.newExecutor(ModelFactory modelFactory, StateFactory stateFactory, LibraryExecutorLoader loader, Evaluator evaluator, SymbolicAnalyzer symbolicAnalyzer, CIVLErrorLogger errLogger, CIVLConfiguration civlConfig)	Creates a new instance of CIVL executor.

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

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.