Searched refs:rev_double_index_ (Results 1 – 1 of 1) sorted by relevance
465 int rev_double_index_; member484 rev_double_index_(0), in StateMarker()777 target = m->rev_double_index_; in BacktrackTo()1579 m->rev_double_index_ = trail_->rev_doubles_.size(); in PushState()