reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2273 set_ineq_status_in(&info[i], info[j].tab); 2274 if (info[i].bmap->n_ineq && !info[i].ineq) 2274 if (info[i].bmap->n_ineq && !info[i].ineq) 2276 if (any_ineq(&info[i], STATUS_ERROR)) 2278 if (any_ineq(&info[i], STATUS_SEPARATE)) 2281 set_ineq_status_in(&info[j], info[i].tab); 2289 set_eq_status_in(&info[i], info[j].tab); 2290 if (info[i].bmap->n_eq && !info[i].eq) 2290 if (info[i].bmap->n_eq && !info[i].eq) 2292 if (any_eq(&info[i], STATUS_ERROR)) 2295 set_eq_status_in(&info[j], info[i].tab); 2301 if (any_eq(&info[i], STATUS_SEPARATE)) 2302 return separating_equality(i, j, info); 2304 return separating_equality(j, i, info); 2306 if (all(info[i].eq, 2 * info[i].bmap->n_eq, STATUS_VALID) && 2306 if (all(info[i].eq, 2 * info[i].bmap->n_eq, STATUS_VALID) && 2307 all(info[i].ineq, info[i].bmap->n_ineq, STATUS_VALID)) { 2307 all(info[i].ineq, info[i].bmap->n_ineq, STATUS_VALID)) { 2312 drop(&info[i]); 2314 } else if (any_eq(&info[i], STATUS_ADJ_EQ)) { 2315 change = check_eq_adj_eq(i, j, info); 2317 change = check_eq_adj_eq(j, i, info); 2318 } else if (any_eq(&info[i], STATUS_ADJ_INEQ) || 2320 change = check_adj_eq(i, j, info); 2321 } else if (any_ineq(&info[i], STATUS_ADJ_EQ)) { 2322 change = check_ineq_adj_eq(i, j, info); 2324 change = check_ineq_adj_eq(j, i, info); 2325 } else if (any_ineq(&info[i], STATUS_ADJ_INEQ) || 2327 change = check_adj_ineq(i, j, info); 2329 if (!any_eq(&info[i], STATUS_CUT) && 2331 change = check_facets(i, j, info); 2333 change = check_wrap(i, j, info); 2337 clear_status(&info[i]); 2341 clear_status(&info[i]);