diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-02-09 11:39:55 +0100 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-02-09 16:54:53 +0100 |
| commit | 7d9332842190fdbde6be507917e4d01f80afd999 (patch) | |
| tree | 5ff73ae42c2a2eaa4063e4b90a834dba657b2e46 /doc | |
| parent | 2ff4161ba36ce37e2bd4e3796ce6e94d3ad008e9 (diff) | |
| download | isl-7d9332842190fdbde6be507917e4d01f80afd999.tar.gz isl-7d9332842190fdbde6be507917e4d01f80afd999.tar.bz2 isl-7d9332842190fdbde6be507917e4d01f80afd999.zip | |
doc: drop documentation of _dump functions
We have proper output functions now, so these should no longer be used.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user.pod | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/user.pod b/doc/user.pod index 8bc84801..1818ddd0 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -477,21 +477,6 @@ the coefficients of the existentially quantified variables appear between those of the set variables and those of the parameters. -=head3 Dumping the internal state - -For lack of proper output functions, the following functions -can be used to dump the internal state of a set or relation. -The user should not depend on the output format of these functions. - - void isl_basic_set_dump(__isl_keep isl_basic_set *bset, - FILE *out, int indent); - void isl_basic_map_dump(__isl_keep isl_basic_map *bmap, - FILE *out, int indent); - void isl_set_dump(__isl_keep isl_set *set, - FILE *out, int indent); - void isl_map_dump(__isl_keep isl_map *map, - FILE *out, int indent); - =head2 Creating New Sets and Relations C<isl> has functions for creating some standard sets and relations. |