Uses of Interface
dev.civl.mc.model.IF.type.CIVLSetType

Packages that use CIVLSetType

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

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

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

Modifier and Type	Method	Description
CIVLSetType	CIVLTypeFactory.civlSetType(CIVLType elementType)	Returns the CIVLSetType.

Uses of CIVLSetType in dev.civl.mc.model.IF.type

Subinterfaces of CIVLSetType in dev.civl.mc.model.IF.type

Modifier and Type	Interface	Description
interface	CIVLMemType	A CIVLType representing a set of memory locations.
interface	CIVLRegularRangeType