Searched refs:initialSnapshot (Results 1 – 1 of 1) sorted by relevance
243 unsigned initialSnapshot = simplex.getSnapshot(); in getSetDifference() local323 simplex.rollback(initialSnapshot); in getSetDifference()329 frames.push_back(Frame{initialSnapshot, initBCounts, sI, in getSetDifference()