Home
last modified time | relevance | path

Searched refs:rev_ints_ (Results 1 – 1 of 1) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/constraint_solver/
H A Dconstraint_solver.cc728 CompressedTrail<int> rev_ints_; member
746 : rev_ints_(block_size, compression_level), in Trail()
754 for (int curr = rev_ints_.size(); curr > target; --curr) { in BacktrackTo()
755 const addrval<int>& cell = rev_ints_.Back(); in BacktrackTo()
757 rev_ints_.PopBack(); in BacktrackTo()
759 DCHECK_EQ(rev_ints_.size(), target); in BacktrackTo()
861 trail_->rev_ints_.PushBack(addrval<int>(valptr)); in InternalSaveValue()
1576 m->rev_int_index_ = trail_->rev_ints_.size(); in PushState()