| line |
true |
false |
branch |
|
10
|
2 |
20 |
if ($flag) { } |
|
28
|
51 |
8 |
defined $_[0] ? : |
|
31
|
12 |
47 |
unless (exists $$self{'_impurity'}) |
|
36
|
125 |
97 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? : |
|
43
|
12 |
47 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? 0 : 1;} @{$clauses;}) == 0 |
|
49
|
0 |
47 |
unless $self->_consistency_check($clauses, $model) |
|
54
|
0 |
47 |
unless $self->_consistency_check($clauses, $model) |
|
76
|
0 |
47 |
unless $choice |
|
90
|
0 |
354 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? : |
|
97
|
0 |
94 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? 1 : 0;} @{$clauses;}) > 0 |
|
113
|
0 |
24 |
substr($literal, 0, 1) eq '-' ? : |
|
117
|
6 |
12 |
if exists $$self{'_impurity'}{$literal} and $$self{'_impurity'}{$literal} != 0 and !exists($$self{'_impurity'}{$opposite}) || exists $$self{'_impurity'}{$opposite} && $$self{'_impurity'}{$opposite} == 0 |
|
137
|
33 |
2 |
defined $_[0] ? : |
|
150
|
16 |
0 |
substr($$_[0], 0, 1) eq '-' ? : |
|
|
116 |
16 |
@{$_;} != 1 ? : |
|
160
|
10 |
6 |
if $model and exists $$model{$literal} and $$model{$literal} == 0 |
|
178
|
0 |
0 |
substr($literal, 0, 1) eq '-' ? : |
|
183
|
0 |
0 |
if $model and exists $$model{$literal} and $$model{$literal} == 1 |
|
197
|
16 |
48 |
if @{$c;} <= 1 |
|
199
|
12 |
218 |
if ($$c[$index] eq $string) |
|
215
|
15 |
21 |
if grep {$_ eq $literal;} @{$$list[$index];} |