Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Manager

794   RetainSummaryManager &Manager;
800     : Manager(mgr), RealSummary(real), ScratchSummary(*real), Accessed(false) {}
804       RealSummary = Manager.getPersistentSummary(ScratchSummary);