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

Packages that use CIVLEnumType

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

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

Modifier and Type	Method	Description
CIVLEnumType	CIVLTypeFactory.enumType(String name, Map<String,BigInteger> valueMap)	Creates a new instance of enumeration type with the specified name.