Package it.unive.lisa.cfg.edge

Class Summary

Class	Description
Edge	An edge of a control flow graph, connecting two statements.
FalseEdge	A sequential edge connecting two statements.
SequentialEdge	A sequential edge connecting two statement.
TrueEdge	A sequential edge connecting two statements.