Uses of Enum Class
dev.civl.mc.model.IF.AbstractFunction.SpecialRelationKind

Packages that use AbstractFunction.SpecialRelationKind

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

Methods in dev.civl.mc.model.IF that return AbstractFunction.SpecialRelationKind

Modifier and Type	Method	Description
AbstractFunction.SpecialRelationKind	AbstractFunction.getAttribute()
static AbstractFunction.SpecialRelationKind	AbstractFunction.SpecialRelationKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static AbstractFunction.SpecialRelationKind[]	AbstractFunction.SpecialRelationKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.