Searched refs:rev_bool_value_ (Results 1 – 1 of 1) sorted by relevance
735 std::vector<bool> rev_bool_value_; member800 DCHECK_EQ(rev_bools_.size(), rev_bool_value_.size()); in BacktrackTo()803 *(rev_bools_[curr]) = rev_bool_value_[curr]; in BacktrackTo()806 rev_bool_value_.resize(target); in BacktrackTo()885 trail_->rev_bool_value_.push_back(*valptr); in InternalSaveValue()