Uses of Interface
dev.civl.mc.model.IF.type.CIVLMemType.MemoryLocationReference

Packages that use CIVLMemType.MemoryLocationReference

Package	Description
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

Uses of CIVLMemType.MemoryLocationReference in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return types with arguments of type CIVLMemType.MemoryLocationReference

Modifier and Type	Method	Description
Function<dev.civl.sarl.IF.expr.SymbolicExpression,Iterable<CIVLMemType.MemoryLocationReference>>	CIVLMemType.memValueIterator()