|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| DomH | Domain of object allocation quads. |
| RelHT | Relation containing each tuple (h,t) such that object allocation quad h allocates objects of non-array type t. |
| RelMH | Relation containing each tuple (m,h) such that method m contains object allocation statement h. |
Facts of object allocation quads.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||