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

Packages that use LibraryEvaluator

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

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

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

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.