Uses of Interface
dev.civl.mc.state.IF.MemoryUnitFactory

Packages that use MemoryUnitFactory

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.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

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

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

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 MemoryUnitFactory in dev.civl.mc.semantics.IF

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

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 MemoryUnitExpressionEvaluator	Semantics.newMemoryUnitEvaluator(Evaluator evaluator, MemoryUnitFactory memUnitFactory)

Uses of MemoryUnitFactory in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF that return MemoryUnitFactory

Modifier and Type	Method	Description
MemoryUnitFactory	StateFactory.memUnitFactory()	returns the memory unit factory associated with this state factory, which contains utility functions for
static MemoryUnitFactory	States.newImmutableMemoryUnitFactory(dev.civl.sarl.IF.SymbolicUniverse universe)

Methods in dev.civl.mc.state.IF with parameters of type MemoryUnitFactory

Modifier and Type	Method	Description
static StateFactory	States.newImmutableStateFactory(ModelFactory modelFactory, MemoryUnitFactory memFactory, CIVLConfiguration config)	Returns a new immutable state factory based on the given model factory.