Uses of Interface
dev.civl.mc.model.IF.CIVLTypeFactory

Packages that use CIVLTypeFactory

Package	Description
dev.civl.mc.dynamic.IF	Module dynamic provides general computations of symbolic expressions, including the pretty printing method.
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of CIVLTypeFactory in dev.civl.mc.dynamic.IF

Methods in dev.civl.mc.dynamic.IF with parameters of type CIVLTypeFactory

Modifier and Type	Method	Description
static DynamicMemoryLocationSetFactory	Dynamics.newDynamicMemoryLocationSetFactory(dev.civl.sarl.IF.SymbolicUniverse universe, CIVLTypeFactory typeFactory, dev.civl.sarl.IF.expr.SymbolicExpression collectedScopeValue)	Creates a new instance of DynamicMemoryLocationSetFactory.

Uses of CIVLTypeFactory in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return CIVLTypeFactory

Modifier and Type	Method	Description
CIVLTypeFactory	ModelFactory.typeFactory()	Gets the CIVL type factory associates with this model factory.