Class and Description |
---|
ContextVar
The root class for representing context sensitive pointer/object in explicit form.
|
SimpleInterval
The basic representation for an interval on the integer domain.
|
Class and 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.
|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
CgEdge
The internal call graph edge representation.
|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|