add isl_schedule_node_band_get_space
[isl.git] / include / isl / schedule_node.h
blob4ae0c67fa9e7f50cec6c14d2dbaa305723a546b3
1 #ifndef ISL_SCHEDULE_NODE_H
2 #define ISL_SCHEDULE_NODE_H
4 #include <isl/schedule_type.h>
5 #include <isl/union_set_type.h>
6 #include <isl/aff_type.h>
7 #include <isl/val.h>
8 #include <isl/space.h>
10 #if defined(__cplusplus)
11 extern "C" {
12 #endif
14 __isl_give isl_schedule_node *isl_schedule_node_from_domain(
15 __isl_take isl_union_set *domain);
16 __isl_give isl_schedule_node *isl_schedule_node_copy(
17 __isl_keep isl_schedule_node *node);
18 __isl_null isl_schedule_node *isl_schedule_node_free(
19 __isl_take isl_schedule_node *node);
21 isl_ctx *isl_schedule_node_get_ctx(__isl_keep isl_schedule_node *node);
22 enum isl_schedule_node_type isl_schedule_node_get_type(
23 __isl_keep isl_schedule_node *node);
24 enum isl_schedule_node_type isl_schedule_node_get_parent_type(
25 __isl_keep isl_schedule_node *node);
26 __isl_give isl_schedule *isl_schedule_node_get_schedule(
27 __isl_keep isl_schedule_node *node);
29 int isl_schedule_node_has_parent(__isl_keep isl_schedule_node *node);
30 int isl_schedule_node_has_children(__isl_keep isl_schedule_node *node);
31 int isl_schedule_node_has_previous_sibling(__isl_keep isl_schedule_node *node);
32 int isl_schedule_node_has_next_sibling(__isl_keep isl_schedule_node *node);
33 int isl_schedule_node_n_children(__isl_keep isl_schedule_node *node);
34 int isl_schedule_node_get_child_position(__isl_keep isl_schedule_node *node);
35 __isl_give isl_schedule_node *isl_schedule_node_get_child(
36 __isl_keep isl_schedule_node *node, int pos);
38 __isl_give isl_schedule_node *isl_schedule_node_parent(
39 __isl_take isl_schedule_node *node);
40 __isl_give isl_schedule_node *isl_schedule_node_child(
41 __isl_take isl_schedule_node *node, int pos);
42 __isl_give isl_schedule_node *isl_schedule_node_first_child(
43 __isl_take isl_schedule_node *node);
44 __isl_give isl_schedule_node *isl_schedule_node_previous_sibling(
45 __isl_take isl_schedule_node *node);
46 __isl_give isl_schedule_node *isl_schedule_node_next_sibling(
47 __isl_take isl_schedule_node *node);
49 __isl_give isl_space *isl_schedule_node_band_get_space(
50 __isl_keep isl_schedule_node *node);
51 __isl_give isl_multi_union_pw_aff *isl_schedule_node_band_get_partial_schedule(
52 __isl_keep isl_schedule_node *node);
53 __isl_give isl_union_map *isl_schedule_node_band_get_partial_schedule_union_map(
54 __isl_keep isl_schedule_node *node);
55 unsigned isl_schedule_node_band_n_member(__isl_keep isl_schedule_node *node);
56 int isl_schedule_node_band_member_get_coincident(
57 __isl_keep isl_schedule_node *node, int pos);
58 __isl_give isl_schedule_node *isl_schedule_node_band_member_set_coincident(
59 __isl_take isl_schedule_node *node, int pos, int coincident);
60 int isl_schedule_node_band_get_permutable(__isl_keep isl_schedule_node *node);
61 __isl_give isl_schedule_node *isl_schedule_node_band_set_permutable(
62 __isl_take isl_schedule_node *node, int permutable);
64 __isl_give isl_union_set *isl_schedule_node_domain_get_domain(
65 __isl_keep isl_schedule_node *node);
66 __isl_give isl_union_set *isl_schedule_node_filter_get_filter(
67 __isl_keep isl_schedule_node *node);
69 __isl_give isl_union_set *isl_schedule_node_get_universe_domain(
70 __isl_keep isl_schedule_node *node);
71 __isl_give isl_union_pw_multi_aff *
72 isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(
73 __isl_keep isl_schedule_node *node);
74 __isl_give isl_union_map *isl_schedule_node_get_prefix_schedule_union_map(
75 __isl_keep isl_schedule_node *node);
76 __isl_give isl_union_map *isl_schedule_node_get_subtree_schedule_union_map(
77 __isl_keep isl_schedule_node *node);
79 __isl_give isl_schedule_node *isl_schedule_node_insert_partial_schedule(
80 __isl_take isl_schedule_node *node,
81 __isl_take isl_multi_union_pw_aff *schedule);
82 __isl_give isl_schedule_node *isl_schedule_node_insert_filter(
83 __isl_take isl_schedule_node *node, __isl_take isl_union_set *filter);
84 __isl_give isl_schedule_node *isl_schedule_node_insert_sequence(
85 __isl_take isl_schedule_node *node,
86 __isl_take isl_union_set_list *filters);
87 __isl_give isl_schedule_node *isl_schedule_node_insert_set(
88 __isl_take isl_schedule_node *node,
89 __isl_take isl_union_set_list *filters);
91 __isl_give isl_printer *isl_printer_print_schedule_node(
92 __isl_take isl_printer *p, __isl_keep isl_schedule_node *node);
93 void isl_schedule_node_dump(__isl_keep isl_schedule_node *node);
95 #if defined(__cplusplus)
97 #endif
99 #endif