| commit | c453516d86d163877dc7c2b1f71c8a348962c99a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 12 Apr 2007 15:11:12 +0000 (12 17:11 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 12 Apr 2007 15:11:12 +0000 (12 17:11 +0200) | ||
| tree | 985c1a198506439259ffc0e2b93a208ddb29bcc7 | treesnapshot (tar.gz zip) |
| parent | 610f9d2b7454aa8a98af2f8f724ecc876c6a25c6 | commitdiff |
lexmin: stop using Polyhedron2Param_SimplifiedDomain
We actually haven't had to use it since at least commit
ae76064e355b62c9b87b7bf67fb90fe51bb14ea0.
Again, it removes some complications in the code.
We actually haven't had to use it since at least commit
ae76064e355b62c9b87b7bf67fb90fe51bb14ea0.
Again, it removes some complications in the code.
| lexmin.cc | diffblobblamehistory |