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

Packages that use CIVLCompleteDomainType

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.

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

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

Modifier and Type	Method	Description
CIVLCompleteDomainType	CIVLTypeFactory.completeDomainType(CIVLType rangeType, int dim)	Creates a complete regular domain type, which is has the given dimension and is composed by the given range type.