| commit | 5bbe8d77c352890dceae49723ad5c6a851593c24 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 12 Apr 2016 09:49:56 +0000 (12 11:49 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 18 Apr 2016 10:56:48 +0000 (18 12:56 +0200) | ||
| tree | a9cdc6c0cfbcf8a2d252865db2c0965c309dd916 | treesnapshot (tar.gz zip) |
| parent | d757b1e33e96fd0a53811abcc5eeb3415ae3895f | commitdiff |
add isl_tab_lexmin_add_eq
This allows users of isl_tab_lexmin to add extra equality constraints
after the construction of the tableau.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This allows users of isl_tab_lexmin to add extra equality constraints
after the construction of the tableau.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.h | diffblobblamehistory | |
| isl_tab_pip.c | diffblobblamehistory |