Home | History | Annotate | Line # | Download | only in dist
isl_pw_print_templ.c revision 1.1.1.1 
      1 /*
      2  * Copyright 2011      Sven Verdoolaege
      3  *
      4  * Use of this software is governed by the MIT license
      5  *
      6  * Written by Sven Verdoolaege.
      7  */
      8 
      9 #undef EL
     10 #define EL CAT(isl_,BASE)
     11 #undef PW
     12 #define PW CAT(isl_pw_,BASE)
     13 
     14 /* Print the body of a piecewise expression, i.e., a semicolon delimited
     15  * sequence of expressions, each followed by constraints.
     16  */
     17 static __isl_give isl_printer *FN(print_body_pw,BASE)(
     18 	__isl_take isl_printer *p, __isl_keep PW *pw)
     19 {
     20 	int i;
     21 
     22 	if (!pw)
     23 		return isl_printer_free(p);
     24 
     25 	for (i = 0; i < pw->n; ++i) {
     26 		EL *el;
     27 		isl_space *space;
     28 
     29 		if (i)
     30 			p = isl_printer_print_str(p, "; ");
     31 		el = FN(PW,peek_base_at)(pw, i);
     32 		p = FN(print_body,BASE)(p, el);
     33 		space = FN(EL,get_domain_space)(el);
     34 		p = print_disjuncts(set_to_map(pw->p[i].set), space, p, 0);
     35 		isl_space_free(space);
     36 	}
     37 	return p;
     38 }
     39 
     40 /* Print a piecewise expression in isl format.
     41  */
     42 static __isl_give isl_printer *FN(FN(print_pw,BASE),isl)(
     43 	__isl_take isl_printer *p, __isl_keep PW *pw)
     44 {
     45 	struct isl_print_space_data data = { 0 };
     46 
     47 	if (!pw)
     48 		return isl_printer_free(p);
     49 
     50 	p = print_param_tuple(p, pw->dim, &data);
     51 	p = isl_printer_print_str(p, "{ ");
     52 	p = FN(print_body_pw,BASE)(p, pw);
     53 	p = isl_printer_print_str(p, " }");
     54 	return p;
     55 }
     56