Searched refs:minuppermargin (Results 1 – 1 of 1) sorted by relevance
1455 double minuppermargin = default_primal_feasiblility_tolerance * absub; in runPropagator() local1456 propagator.colUpper_[i] += std::max(margin, minuppermargin); in runPropagator()