Package it.unive.lisa.program.cfg.edge

Class Summary

Class	Description
Edge	An edge of a control flow graph, connecting two statements.
FalseEdge	An edge connecting two statements, that is traversed when the condition expressed in the source state does not hold.
SequentialEdge	A sequential edge connecting two statement.
TrueEdge	An edge connecting two statements, that is traversed when the condition expressed in the source state holds.