Searched refs:dual_info_ok (Results 1 – 2 of 2) sorted by relevance
90 bool dual_info_ok = dualInfoOk(workHMO.lp_); in solve() local91 if (!dual_info_ok) { in solve()