Lines Matching defs:snapshot

559     unsigned snapshot;
624         unsigned snapshot = getSnapshot();
626             StackFrame{splitIndex, snapshot, domainSnapshot, domainPolyCounts});
655       rollback(frame.snapshot);
1135 /// Return a snapshot of the current state. This is just the current size of the
1219     // snapshot, so what pivots we perform while undoing doesn't matter as
1287 /// Rollback to the specified snapshot.
1289 /// We undo all the log entries until the log size when the snapshot was taken
1291 void SimplexBase::rollback(unsigned snapshot) {
1292   while (undoLog.size() > snapshot) {
1652 /// also supports rolling back this addition, by maintaining a snapshot stack
1653 /// that contains a snapshot of the Simplex's state for each equality, just
1664   /// First pushes a snapshot for the current simplex state to the stack so
1740   /// We do this by rolling back to the snapshot at the top of the stack, which
1741   /// should be a snapshot taken just before the last equality was added.
2005   // The snapshot just before constraining a direction to a value at each level.
2079     // to the snapshot of the starting state at this level. (in the "recursed"