| commit | c55779905d0992081a7cf6f92f0f966e95266a55 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 10 Oct 2014 09:44:09 +0000 (10 11:44 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 12 Jan 2015 15:44:04 +0000 (12 16:44 +0100) | ||
| tree | 142e11c392edf69212b338485481491ffd748bc8 | treesnapshot (tar.gz zip) |
| parent | 06e7081fc61b76ce27dc6f5e44750efbc718262b | commitdiff |
add isl_tab_insert_var
This allows us to insert a variable in the tableau at a specific position,
rather than at the end. This also means that during an undo, we may have
to remove a variable that is not in the last position so that drop_col
needs to be modified accordingly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This allows us to insert a variable in the tableau at a specific position,
rather than at the end. This also means that during an undo, we may have
to remove a variable that is not in the last position so that drop_col
needs to be modified accordingly.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory | |
| isl_tab.h | diffblobblamehistory |