isl_tab_pip.c: isl_sol: update documentation
In particular, add documentation that was left out in
8b88ebf (isl_tab_pip.c:
remove some code duplication between isl_map_add and isl_for_add,
Fri Oct 16 14:10:59 2009 +0200) (the add_empty callback),
f2553b6
(isl_tab_pip: don't free isl_sol on error condition,
Fri Oct 16 14:40:34 2009 +0200) (the error flag),
4fff507 (isl_tab_pip:
keep cache of partial solutions, Fri Oct 16 14:46:28 2009 +0200)
(the level and the rational flag) and
b6f3d03 (add
isl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff,
Sat Aug 13 21:57:22 2011 +0200) (the isl_sol_pma implementation).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>