Uses of Interface
dev.civl.mc.dynamic.IF.DynamicMemoryLocationSetFactory

Packages that use DynamicMemoryLocationSetFactory

Package	Description
dev.civl.mc.dynamic.IF	Module dynamic provides general computations of symbolic expressions, including the pretty printing method.

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

Methods in dev.civl.mc.dynamic.IF that return DynamicMemoryLocationSetFactory

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.