Searched refs:unique_selected_var (Results 1 – 1 of 1) sorted by relevance
211 const AffineExpression unique_selected_var = exprs_[first_selected]; in Propagate() local214 if (target_min > integer_trail_->LowerBound(unique_selected_var)) { in Propagate()227 if (!integer_trail_->Enqueue(unique_selected_var.GreaterOrEqual(target_min), in Propagate()233 if (target_max < integer_trail_->UpperBound(unique_selected_var)) { in Propagate()246 if (!integer_trail_->Enqueue(unique_selected_var.LowerOrEqual(target_max), in Propagate()