diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2010-01-25 18:02:07 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-01-25 18:24:05 +0100 |
commit | d1223dc06ec25763422dde76fe4c9ea0cf75be9d (patch) | |
tree | f2842b317da998ad0bd75bc7cae0ad6b0190fd96 /doc | |
parent | d3b67481ffc3d191c46e8af05feb55bf5b8b763f (diff) | |
download | isl-d1223dc06ec25763422dde76fe4c9ea0cf75be9d.tar.gz isl-d1223dc06ec25763422dde76fe4c9ea0cf75be9d.tar.bz2 isl-d1223dc06ec25763422dde76fe4c9ea0cf75be9d.zip |
add isl output
Diffstat (limited to 'doc')
-rw-r--r-- | doc/user.pod | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/doc/user.pod b/doc/user.pod index 57aac471..302e756e 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -415,10 +415,19 @@ are assumed in the C<PolyLib> format. void isl_set_print(__isl_keep struct isl_set *set, FILE *out, int indent, unsigned output_format); -C<input_format> must be C<ISL_FORMAT_POLYLIB>. + #include <isl_map.h> + void isl_basic_map_print(__isl_keep isl_basic_map *bmap, + FILE *out, int indent, + const char *prefix, const char *suffix, + unsigned output_format); + void isl_map_print(__isl_keep struct isl_map *map, + FILE *out, int indent, unsigned output_format); + +C<output_format> may be either C<ISL_FORMAT_ISL> or C<ISL_FORMAT_POLYLIB>. Each line in the output is indented by C<indent> spaces, prefixed by C<prefix> and suffixed by C<suffix>. -The coefficients of the existentially quantified variables +In the C<PolyLib> format output, +the coefficients of the existentially quantified variables appear between those of the set variables and those of the parameters. |