reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2216 str = "{ [x, y] : x, y >= 0 and x + 2y <= 1 and 2x + y <= 1 }"; 2217 bset1 = isl_basic_set_read_from_str(ctx, str); 2218 str = "{ [x,0] : -1 <= x <= 1 and x mod 2 = 1 }" ; 2219 bset2 = isl_basic_set_read_from_str(ctx, str);