add isl_id_to_str to public header
commita9c6cc7a31ce4883a1021b40f67bd6e0db314f1b
authorMichael Kruse <isl@meinersbur.de>
Mon, 17 Oct 2016 15:09:46 +0000 (17 17:09 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 17 Oct 2016 15:16:53 +0000 (17 17:16 +0200)
tree8dec9f2ba0b7ec3bdd6ab95ed3930fe3e20e0758
parentd0836caae38e6cc6acdc9609920455b8aea5de88
add isl_id_to_str to public header

The function isl_id_to_str is implemented in print.c. Most other
isl_*_to_str functions have declarations in public headers.
For increased consistency, add isl_id_to_str to the isl/id.h public
header and document it in user.pod.

Signed-off-by: Michael Kruse <isl@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/id.h