| Class | Description |
|---|---|
| MultiTypeState | |
| MultiTypeState.Range |
A [left, right) range (interval), i.e., left is inclusive, right is exclusive.
|
| PointsToStats | |
| SingleTypeState | |
| TypeState | |
| TypeState.TypesObjectsIterator |
This is a special iterator for the type state.
|
| TypeStateUtils |
Helper methods for type state.
|