Searched refs:rev_boolvar_list_ (Results 1 – 1 of 1) sorted by relevance
733 std::vector<IntVar*> rev_boolvar_list_; member794 for (int curr = rev_boolvar_list_.size() - 1; curr >= target; --curr) { in BacktrackTo()795 IntVar* const var = rev_boolvar_list_[curr]; in BacktrackTo()798 rev_boolvar_list_.resize(target); in BacktrackTo()952 solver->trail_->rev_boolvar_list_.push_back(var); in InternalSaveBooleanVarValue()1581 m->rev_boolvar_list_index_ = trail_->rev_boolvar_list_.size(); in PushState()