reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
9244 res = basic_set_maximal_difference_at(bset1, bset2, pos, &opt); 9246 if (res == isl_lp_empty) 9248 else if ((res == isl_lp_ok && isl_int_is_pos(opt)) || 9249 res == isl_lp_unbounded) 9251 else if (res == isl_lp_ok && isl_int_is_neg(opt))