Searched refs:rev_bools_index_ (Results 1 – 1 of 1) sorted by relevance
468 int rev_bools_index_; member487 rev_bools_index_(0), in StateMarker()801 target = m->rev_bools_index_; in BacktrackTo()1582 m->rev_bools_index_ = trail_->rev_bools_.size(); in PushState()