| Class | Description |
|---|---|
| CallsiteContextVar |
A general interface for generating the traditional context sensitive variable representation.
|
| CgEdge |
The internal call graph edge representation.
|
| ContextVar |
The root class for representing context sensitive pointer/object in explicit form.
|
| IntervalContextVar |
A particular class to encode contexts in interval manner.
|
| PlainConstraint |
The geometric encoding based constraint descriptor.
|
| RectangleNode |
The rectangle figure for encoding the many-to-many relation.
|
| SegmentNode |
The segment figure for encoding the one-to-one relation.
|
| ShapeNode |
It is the the abstract super type of geometric figures and the manager of all the generated sub-type figures.
|
| SimpleInterval |
The basic representation for an interval on the integer domain.
|