Package verf.mdverif.sg

Class Summary
MDVerifSG Separation graph managing class.
MDVerifSGNode Separation graph node class.
MDVerifSGNodeBFS Node for BFS distance computation method.
MDVerifSGTrans Separation graph transition class.