Searched refs:disjunction_vars (Results 1 – 1 of 1) sorted by relevance
1984 std::vector<IntVar*> disjunction_vars(indices_size); in CreateDisjunction() local1988 disjunction_vars[i] = ActiveVar(index); in CreateDisjunction()1995 solver_->MakeSumEquality(disjunction_vars, number_active_vars)); in CreateDisjunction()