| commit | 98ac0c5d9475e69afe5fb456b2d1af70feaaf013 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 26 Sep 2009 14:42:31 +0000 (26 16:42 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 9 Oct 2009 09:20:33 +0000 (9 11:20 +0200) | ||
| tree | a5a9fe9a8bec41670231a9bc87dea58a80a9c334 | treesnapshot (tar.gz zip) |
| parent | 01fb9764e7ff92a13edd56d91833490afee4da7d | commitdiff |
sample_bounded: reimplement to work directly on a tableau
In other words, adapt the implementation of isl_basic_set_samples
in polytope_scan.c
This avoids the reconstruction of tableaus and allows for a refactoring
that takes a tableau as input.
In other words, adapt the implementation of isl_basic_set_samples
in polytope_scan.c
This avoids the reconstruction of tableaus and allows for a refactoring
that takes a tableau as input.
| isl_sample.c | diffblobblamehistory |