From 7d9332842190fdbde6be507917e4d01f80afd999 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 9 Feb 2010 11:39:55 +0100 Subject: [PATCH] doc: drop documentation of _dump functions We have proper output functions now, so these should no longer be used. --- doc/user.pod | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/doc/user.pod b/doc/user.pod index 8bc8480..1818ddd 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 has functions for creating some standard sets and relations. -- 2.7.4