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)
[r26754]

heuristical.c

index a3d1716..d605855 100644 (file)
@@ -1094,6 +1094,7 @@ void apply_RN_co(pbqp *pbqp, plist_t *rpeo)
                node = plist_first(rpeo)->data;
                /* remove element from reverse perfect elimination order */
                plist_erase(rpeo, plist_first(rpeo));
+               plist_insert_back(rpeo, node);
        } while(node_is_reduced(node));
 
 //     node = plist_first(rpeo)->data;