| line |
true |
false |
branch |
|
11
|
2 |
20 |
if ($flag) { } |
|
27
|
8 |
52 |
unless defined $model |
|
30
|
12 |
48 |
unless (exists $$self{'_impurity'}) |
|
35
|
136 |
90 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? : |
|
42
|
12 |
48 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? 0 : 1;} @{$clauses;}) == 0 |
|
48
|
0 |
48 |
unless $self->_consistency_check($clauses, $model) |
|
53
|
0 |
48 |
unless $self->_consistency_check($clauses, $model) |
|
75
|
0 |
48 |
unless $choice |
|
87
|
0 |
362 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? : |
|
94
|
0 |
96 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? 1 : 0;} @{$clauses;}) > 0 |
|
109
|
0 |
24 |
substr($literal, 0, 1) eq '-' ? : |
|
113
|
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 |
|
131
|
2 |
34 |
unless defined $model |
|
144
|
17 |
0 |
substr($$_[0], 0, 1) eq '-' ? : |
|
|
119 |
17 |
@{$_;} != 1 ? : |
|
152
|
11 |
6 |
if $model and exists $$model{$literal} and $$model{$literal} == 0 |
|
168
|
0 |
0 |
substr($literal, 0, 1) eq '-' ? : |
|
173
|
0 |
0 |
if $model and exists $$model{$literal} and $$model{$literal} == 1 |
|
186
|
16 |
48 |
if @{$c;} <= 1 |
|
188
|
12 |
218 |
if ($$c[$index] and $$c[$index] eq $string) |
|
204
|
15 |
21 |
if grep {$_ eq $literal;} @{$$list[$index];} |