|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| FullSensitiveNode | |
| FullSensitiveNodeGenerator | |
| GeometricManager | Currently, we apply a naive management strategy: For each type of object, we maintain a linked list. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||