|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| CISDG | A context-insensitive SDG. |
| CISlicer | A cheap, context-insensitive slicer based on reachability over a custom SDG. |
| ThinSlicer | A cheap, context-insensitive thin slicer based on reachability over a custom SDG. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||