The documentation has been misleading ever since this function
was introduced in
isl-0.01-81-gad855c5588 (add
isl_tab_set_initial_basis_with_cone, Sun Oct 4 16:38:28 2009 +0200).
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
@@ -1071,8 +1071,8 @@ error:
return -1;
}
-/* Compute and return an initial basis for the possibly
- * unbounded tableau "tab". "tab_cone" is a tableau
+/* Compute an initial basis for the possibly unbounded tableau "tab"
+ * (storing it in tab->basis). "tab_cone" is a tableau
* for the corresponding recession cone.
* Additionally, add constraints to "tab" that ensure
* that any rational value for the unbounded directions