No delete of elements from reverse perfect elimination order.
authorThomas Bersch <bersch@ipd.info.uni-karlsruhe.de>
Fri, 27 Nov 2009 09:43:19 +0000 (09:43 +0000)
committerThomas Bersch <bersch@ipd.info.uni-karlsruhe.de>
Fri, 27 Nov 2009 09:43:19 +0000 (09:43 +0000)
commit5aeb3af21f8b6a720f0167b9a1e2eb311d16b4bd
tree1ab74db52bc586ed1bb2ad703564db1e753e602b
parentba0544ce841a7f2bfaba2e3661654497f2639f3f
No delete of elements from reverse perfect elimination order.

[r26754]
heuristical.c