Package it.unive.lisa.program.cfg.controlFlow
-
Class Summary Class Description ControlFlowExtractor An extractor ofControlFlowStructure
s fromCFG
s.ControlFlowStructure A control flow structure of aCFG
.IfThenElse AControlFlowStructure
representing a if-then-else.Loop AControlFlowStructure
representing a loop.