clast_printer.h

   1 #ifndef _CLAST_PRINTER_H
   2 #define _CLAST_PRINTER_H
   3
   4 #include <cloog/isl/cloog.h>
   5
   6 struct clast_printer_info {
   7         int indent;
   8         FILE *dst;
   9         void (*print_user_stmt)(struct clast_printer_info *info,
  10                                 struct clast_user_stmt *s);
  11         void (*print_user_stmt_list)(struct clast_printer_info *info,
  12                                      struct clast_user_stmt *s);
  13         void (*print_for_head)(struct clast_printer_info *info, struct clast_for *f);
  14         void (*print_for_foot)(struct clast_printer_info *info, struct clast_for *f);
  15         void *user;
  16 };
  17
  18 void print_cloog_macros(FILE *dst);
  19 void print_indent(FILE *dst, int indent);
  20 void print_clast(struct clast_printer_info *info, struct clast_stmt *s);
  21
  22 __isl_give isl_set *extract_host_domain(struct clast_user_stmt *u);
  23 __isl_give isl_set *extract_entire_host_domain(struct clast_stmt *s);
  24
  25 #endif