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

Packages that use Evaluator

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.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.
dev.civl.mc.util.IF	Module util provides various general-purpose utilities used by CIVL.

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

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

Modifier and Type	Method	Description
LibraryEnabler	LibraryEnablerLoader.getLibraryEnabler(String name, Enabler primaryEnabler, Evaluator evaluator, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library executor of the given name.
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 Evaluator in dev.civl.mc.predicate.IF

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

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)

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

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

Modifier and Type	Method	Description
Evaluator	Executor.evaluator()
Evaluator	SymbolicAnalyzer.evaluator()
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.

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

Modifier and Type	Method	Description
LibraryEvaluator	LibraryEvaluatorLoader.getLibraryEvaluator(String name, Evaluator primaryEvaluator, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library evaluator of the given name.
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.
static MemoryUnitExpressionEvaluator	Semantics.newMemoryUnitEvaluator(Evaluator evaluator, MemoryUnitFactory memUnitFactory)
void	LibraryExecutor.setEvaluator(Evaluator evaluator)
void	LibraryEvaluator.setPrimaryEvaluator(Evaluator primaryEvaluator)

Uses of Evaluator in dev.civl.mc.util.IF

Fields in dev.civl.mc.util.IF declared as Evaluator

Modifier and Type	Field	Description
static Evaluator	BranchConstraints.evaluator