Package it.unive.lisa.program.cfg.controlFlow

Class Summary

Class	Description
ControlFlowExtractor	An extractor of ControlFlowStructures from CFGs.
ControlFlowStructure	A control flow structure of a CFG.
IfThenElse	A ControlFlowStructure representing a if-then-else.
Loop	A ControlFlowStructure representing a loop.