Searched refs:rev_optimal_constraints_size_ (Results 1 – 2 of 2) sorted by relevance
484 int rev_optimal_constraints_size_ = 0; variable
545 watcher->RegisterReversibleInt(watcher_id, &rev_optimal_constraints_size_); in RegisterWith()549 optimal_constraints_.resize(rev_optimal_constraints_size_); in SetLevel()2149 rev_optimal_constraints_size_ = optimal_constraints_.size(); in ExactLpReasonning()