Uses of Interface
dev.civl.mc.model.IF.expression.InitialValueExpression

Packages that use InitialValueExpression

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

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

Modifier and Type	Method	Description
InitialValueExpression	ModelFactory.initialValueExpression(CIVLSource source, Variable variable)	Returns an "initial value" expression for the given variable.