From b7dbaa37a185904572d07833ef3d9693e69a8bb9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 16 May 2011 12:26:50 +0200 Subject: [PATCH] doc: drop documentation for isl-polylib The documentation for isl-polylib doesn't belong here and we don't want to encourage the use of isl-polylib. Signed-off-by: Sven Verdoolaege --- doc/user.pod | 24 ------------------------ 1 file changed, 24 deletions(-) diff --git a/doc/user.pod b/doc/user.pod index c2ddb14..9ddcfca 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -2766,27 +2766,3 @@ is given, then the constant should appear in the last column. Given a polytope, C prints all integer points in the polytope. - -=head1 C - -The C library provides the following functions for converting -between C objects and C objects. -The library is distributed separately for licensing reasons. - - #include - __isl_give isl_basic_set *isl_basic_set_new_from_polylib( - Polyhedron *P, __isl_take isl_dim *dim); - Polyhedron *isl_basic_set_to_polylib( - __isl_keep isl_basic_set *bset); - __isl_give isl_set *isl_set_new_from_polylib(Polyhedron *D, - __isl_take isl_dim *dim); - Polyhedron *isl_set_to_polylib(__isl_keep isl_set *set); - - #include - __isl_give isl_basic_map *isl_basic_map_new_from_polylib( - Polyhedron *P, __isl_take isl_dim *dim); - __isl_give isl_map *isl_map_new_from_polylib(Polyhedron *D, - __isl_take isl_dim *dim); - Polyhedron *isl_basic_map_to_polylib( - __isl_keep isl_basic_map *bmap); - Polyhedron *isl_map_to_polylib(__isl_keep isl_map *map); -- 2.7.4