- implemented infinity propagation
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Mon, 6 Oct 2008 14:33:59 +0000 (14:33 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Mon, 6 Oct 2008 14:33:59 +0000 (14:33 +0000)
commit12476c57341489fd7167033fb87d9accfe8ef867
tree1b78da99c571e2945f04b5aa26731d0e2adaf5ed
parentb1b7b0d991eeac15ade2c354ba4467f4ab7ed858
- implemented infinity propagation
- simplify edges only if they are correct connected, so if a (RI) reduction creates an infinity entry the removed edge are not simplified again

[r22536]
heuristical.c
heuristical.h
pbqp_edge.c
pbqp_edge_t.h
pbqp_node.c
pbqp_node.h