Uses of Package
dev.civl.mc.analysis.IF

Packages that use dev.civl.mc.analysis.IF

Package	Description
dev.civl.mc.analysis.IF	Module analysis provides a list of analyzers for static/runtime analyzing of a program.
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Classes in dev.civl.mc.analysis.IF used by dev.civl.mc.analysis.IF

Class	Description
CodeAnalyzer	This represents a code analyzer for analyzing source code for a certain property.

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

Class	Description
CodeAnalyzer	This represents a code analyzer for analyzing source code for a certain property.