new_variables_have_been_fixed (reference) in projects: dports

Searched refs:new_variables_have_been_fixed (Results 1 – 1 of 1) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A D	cp_model_lns.cc	`68 bool new_variables_have_been_fixed = false; in Synchronize() local 109 new_variables_have_been_fixed \|= new_domain.IsFixed(); in Synchronize() 114 if (new_variables_have_been_fixed) { in Synchronize()`