Home
last modified time | relevance | path

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

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dpresolve_context.h382 ABSL_MUST_USE_RESULT bool CanonicalizeObjective(bool simplify_domain = true);
H A Dpresolve_context.cc1549 bool PresolveContext::CanonicalizeObjective(bool simplify_domain) { in CanonicalizeObjective() argument
1645 if (simplify_domain) { in CanonicalizeObjective()