Package soot.jimple.spark.geom.ptinsE

Class Summary

Class	Description
PtInsIntervalManager	The figure manager for the PtIns descriptors.
PtInsNode	Deprecated.
PtInsNodeGenerator	Build the initial encoded pointer assignment graph with the PtIns encoding.