Uses of Package
dev.civl.mc.model.IF.variable

Packages that use dev.civl.mc.model.IF.variable

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.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.location	Submodule model.location defines a location in the control flow graph of CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.model.IF

Class	Description
Variable	A static variable.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.model.IF.expression

Class	Description
Variable	A static variable.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.model.IF.location

Class	Description
Variable	A static variable.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.model.IF.statement

Class	Description
Variable	A static variable.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.model.IF.type

Class	Description
Variable	A static variable.

Classes in dev.civl.mc.model.IF.variable used by dev.civl.mc.state.IF

Class	Description
Variable	A static variable.