reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2739 str = "{ [a, b] : a >= 2 and b >= 0 and 14 - a <= b <= 9 }"; 2740 bset1 = isl_basic_set_read_from_str(ctx, str); 2741 str = "{ [a, b] : 1 <= a, b and a + b <= 1 }"; 2742 bset2 = isl_basic_set_read_from_str(ctx, str);