de.unisaarland.cs.st.jerify.verifier.cfg.flownodes

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV PACKAGE NEXT PACKAGE

FRAMES NO FRAMES

Package de.unisaarland.cs.st.jerify.verifier.cfg.flownodes

Provides classes which are nodes which form the control flow graph.

See:
Description

Interface Summary
CFGAnalysis<AnalysisData>	Interface that represents the analysis data that is used during propagation in the Control Flow Graph

Class Summary
FlowNode<AnalysisData>	This class represents a node in the Control Flow Graph.

Provides classes which are nodes which form the control flow graph.

none