Package soot.jimple.spark.geom.dataRep

Class Summary

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.