Searched refs:min_start_cumul (Results 1 – 1 of 1) sorted by relevance
6933 IntVar* const min_start_cumul = solver->MakeMin(start_cumuls)->Var(); in SetupGlobalSpanCost() local6935 min_start_cumul, global_span_cost_coefficient_); in SetupGlobalSpanCost()6957 solver->MakeDifference(max_end_cumul, min_start_cumul)->Var(); in SetupGlobalSpanCost()