Home
last modified time | relevance | path

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

/dports/math/minizinc/libminizinc-2.5.5/lib/
H A Doptimize.cpp310 std::vector<int> toRemoveConstraints; in optimize() local
426 toRemoveConstraints.push_back(i); in optimize()
440 toRemoveConstraints.push_back(i); in optimize()
803 for (auto i = static_cast<unsigned int>(toRemoveConstraints.size()); (i--) != 0U;) { in optimize()
804 auto* ci = m[toRemoveConstraints[i]]->cast<ConstraintI>(); in optimize()