Searched refs:simplexSnapshot (Results 1 – 1 of 1) sorted by relevance
205 unsigned simplexSnapshot; in getSetDifference() member369 unsigned simplexSnapshot = simplex.getSnapshot(); in getSetDifference() local371 frames.push_back(Frame{simplexSnapshot, bCounts, sI, ineqsToProcess, in getSetDifference()390 simplex.rollback(frame.simplexSnapshot); in getSetDifference()407 frame.simplexSnapshot = simplex.getSnapshot(); in getSetDifference()