Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Manager

809   RetainSummaryManager &Manager;
816   : Manager(mgr), RealSummary(real), ScratchSummary(real ? *real : base),
821       RealSummary = Manager.getPersistentSummary(ScratchSummary);