Searched refs:m_to_patch (Results 1 – 12 of 12) sorted by relevance
99 var_heap m_to_patch; variable115 m_to_patch(1024), in simplex()166 var_t select_smallest_var() { return m_to_patch.empty()?null_var:m_to_patch.erase_min(); } in select_smallest_var()
136 m_to_patch.insert(v); in add_patch()310 if (m_to_patch.get_bounds() <= v) { in ensure_var()311 m_to_patch.set_bounds(2*v+1); in ensure_var()318 m_to_patch.reset(); in reset()348 m_to_patch.insert(v); in make_feasible()954 typename var_heap::iterator it = m_to_patch.begin(); in select_error_var()955 typename var_heap::iterator end = m_to_patch.end(); in select_error_var()974 m_to_patch.clear(); // all variables are satisfied in select_error_var()976 m_to_patch.erase(best); in select_error_var()
126 m_to_patch.set_bounds(r + 1); in mk_var()1565 m_to_patch.reset(); in failed()1685 m_to_patch(1024), in theory_arith()1874 m_to_patch.insert(v); in update_value_core()2049 m_to_patch.insert(x_j); in update_and_pivot()2267 m_to_patch.erase(best); in select_lg_error_var()2304 while (!m_to_patch.empty()) { in make_feasible()2433 m_to_patch.insert(v); in assert_lower()2481 m_to_patch.insert(v); in assert_upper()3364 m_to_patch.reset(); in pop_scope_eh()[all …]
907 SASSERT(m_to_patch.empty()); in patch_int_infeasible_vars()947 SASSERT(m_to_patch.empty()); in patch_int_infeasible_vars()
2116 SASSERT(m_to_patch.empty()); in mutate_assignment()2161 SASSERT(m_to_patch.empty()); in mutate_assignment()
469 …var_heap m_to_patch; // heap containing all variables v s.t. m_value[v] doe… variable