reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4500 domain = "{ S[a, b] : 0 <= a <= 1 and 0 <= b <= 1 }"; 4502 I = isl_union_set_read_from_str(ctx, domain);