Searched refs:rev_uint64_index_ (Results 1 – 1 of 1) sorted by relevance
464 int rev_uint64_index_; member483 rev_uint64_index_(0), in StateMarker()769 target = m->rev_uint64_index_; in BacktrackTo()1578 m->rev_uint64_index_ = trail_->rev_uint64s_.size(); in PushState()