reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3413 str = "{ [[a, b, c, d] -> [e]] -> 0 }"; 3414 pwqp = isl_pw_qpolynomial_read_from_str(ctx, str); 3422 str = "{ [[x]->[x]] -> 1 : exists a : x = 2 a }"; 3423 pwqp = isl_pw_qpolynomial_read_from_str(ctx, str);