Searched refs:rev_boolvar_list_index_ (Results 1 – 1 of 1) sorted by relevance
467 int rev_boolvar_list_index_; member486 rev_boolvar_list_index_(0), in StateMarker()793 target = m->rev_boolvar_list_index_; in BacktrackTo()1581 m->rev_boolvar_list_index_ = trail_->rev_boolvar_list_.size(); in PushState()