| line |
!l |
l&&!r |
l&&r |
condition |
|
86
|
20 |
1 |
2 |
defined $maxcardinality && $maxcardinality |
|
118
|
3 |
1 |
144 |
$all_integer_weights && $wt == int $wt |
|
272
|
0 |
0 |
464 |
$label[$w] == 0 && $label[$b] == 0 |
|
415
|
170 |
6 |
47 |
$bj != $b and $label[$bj] == 1 |
|
|
176 |
47 |
0 |
$bj != $b and $label[$bj] == 1 and $bestedgeto[$bj] == -1 || slack($p >> 1) < slack($bestedgeto[$bj] >> 1) |
|
427
|
0 |
0 |
1 |
$bj != $b and $label[$bj] == 1 |
|
|
0 |
1 |
0 |
$bj != $b and $label[$bj] == 1 and $bestedgeto[$bj] == -1 || slack($p >> 1) < slack($bestedgeto[$bj] >> 1) |
|
460
|
2 |
0 |
0 |
$endstage and $dualvar[$s] == 0 |
|
473
|
1 |
0 |
6 |
not $endstage and $label[$b] == 2 |
|
632
|
0 |
0 |
151 |
$label[$bs] == 1 && $labelend[$bs] == $mate[$blossombase[$bs]] |
|
690
|
0 |
0 |
197 |
$#vblossoms >= 0 and $#wblossoms >= 0 |
|
698
|
0 |
0 |
67 |
$mate[$v] >> 1 == $k && $mate[$w] >> 1 == $k |
|
708
|
125 |
2 |
12 |
defined $blossombase[$b] and $dualvar[$b] > 0 |
|
741
|
740 |
224 |
648 |
defined $blossomparent[$b] and $blossomparent[$b] == -1 |
|
|
964 |
262 |
386 |
defined $blossomparent[$b] and $blossomparent[$b] == -1 and $label[$b] == 1 |
|
746
|
198 |
244 |
398 |
$inblossom[$w] != $b and $label[$inblossom[$w]] == 1 |
|
757
|
0 |
0 |
247 |
$label[$inblossom[$w]] == 1 && $label[$inblossom[$v]] == 1 |
|
790
|
334 |
0 |
344 |
$mate[$v] == -1 and $label[$inblossom[$v]] == 0 |
|
809
|
145 |
32 |
443 |
@queue and not $augmented |
|
904
|
560 |
179 |
83 |
$label[$inblossom[$v]] == 0 and $bestedge[$v] != -1 |
|
917
|
754 |
230 |
660 |
defined $blossomparent[$b] and $blossomparent[$b] == -1 |
|
|
984 |
267 |
393 |
defined $blossomparent[$b] and $blossomparent[$b] == -1 and $label[$b] == 1 |
|
|
497 |
143 |
250 |
defined $blossomparent[$b] and $blossomparent[$b] == -1 and $label[$b] == 1 and $bestedge[$b] != -1 |
|
930
|
754 |
12 |
56 |
defined $blossombase[$b] and $blossomparent[$b] == -1 |
|
|
766 |
46 |
10 |
defined $blossombase[$b] and $blossomparent[$b] == -1 and $label[$b] == 2 |
|
|
58 |
10 |
0 |
defined $blossombase[$b] and $blossomparent[$b] == -1 and $label[$b] == 2 and $deltatype == -1 || $dualvar[$b] < $delta |
|
963
|
754 |
12 |
56 |
defined $blossombase[$b] and $blossomparent[$b] == -1 |
|
1005
|
497 |
7 |
31 |
defined $blossombase[$b] and $blossomparent[$b] == -1 |
|
|
504 |
8 |
23 |
defined $blossombase[$b] and $blossomparent[$b] == -1 and $label[$b] == 1 |
|
|
15 |
22 |
1 |
defined $blossombase[$b] and $blossomparent[$b] == -1 and $label[$b] == 1 and $dualvar[$b] == 0 |
|
1014
|
1 |
0 |
21 |
$CHECK_OPTIMUM and $all_integer_weights |
| line |
l |
!l&&r |
!l&&!r |
condition |
|
367
|
9 |
0 |
9 |
$label[$bv] == 2 || $label[$bv] == 1 && $labelend[$bv] == $mate[$blossombase[$bv]] |
|
383
|
19 |
0 |
19 |
$label[$bw] == 2 || $label[$bw] == 1 && $labelend[$bw] == $mate[$blossombase[$bw]] |
|
415
|
46 |
1 |
0 |
$bestedgeto[$bj] == -1 || slack($p >> 1) < slack($bestedgeto[$bj] >> 1) |
|
427
|
1 |
0 |
0 |
$bestedgeto[$bj] == -1 || slack($p >> 1) < slack($bestedgeto[$bj] >> 1) |
|
443
|
20 |
1 |
26 |
$bestedge[$b] == -1 or slack($p >> 1) < slack($bestedge[$b] >> 1) |
|
675
|
0 |
139 |
0 |
!defined($_) || $_ >= 0 |
|
697
|
67 |
0 |
77 |
$mate[$v] >> 1 == $k or $mate[$w] >> 1 == $k |
|
704
|
134 |
5 |
0 |
$mate[$v] >= 0 || $dualvar[$v] + $vdualoffset == 0 |
|
729
|
81 |
17 |
3 |
not defined $bd or $d < $bd |
|
732
|
175 |
0 |
81 |
!defined($bd) && $bestedge[$v] == -1 || $bestedge[$v] != -1 && $bd == slack($bestedge[$v] >> 1) |
|
748
|
70 |
33 |
295 |
not defined $bd or $d < $bd |
|
759
|
70 |
20 |
157 |
not defined $tbd or $d < $tbd |
|
763
|
34 |
70 |
0 |
!(defined $bd || defined $tbd) || $bd == $tbd |
|
862
|
228 |
61 |
67 |
$bestedge[$b] == -1 or $kslack < slack($bestedge[$b] >> 1) |
|
870
|
98 |
24 |
8 |
$bestedge[$w] == -1 or $kslack < slack($bestedge[$w] >> 1) |
|
906
|
2 |
38 |
43 |
$deltatype == -1 or $d < $delta |
|
920
|
2 |
65 |
183 |
$deltatype == -1 or $d < $delta |
|
930
|
0 |
6 |
4 |
$deltatype == -1 || $dualvar[$b] < $delta |