Member predicate PointsToContext::getDepth

Gets the depth (number of calls) for this context.

int getDepth()