|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| CheckerTools | Some wrapper/utility functions to the checkers framework |
| Debug | The Flags in this class control the debug output (which "features" debug code is printed and what is omitted) |
| Pair<A,B> | A simple Pair which holds to independent values which both can be accessed. |
| Triple<A,B,C> | A simple Triple which holds to independent values which all can be accessed. |
Provides helper classes.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||