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

Packages that use CIVLDomainType

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 CIVLDomainType in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
CIVLDomainType	CIVLTypeFactory.domainType(CIVLType rangeType)	This returns the universal domain type ($domain).