| line |
true |
false |
branch |
|
12
|
2 |
20 |
if ($flag) { } |
|
30
|
48 |
8 |
defined $_[0] ? : |
|
33
|
12 |
44 |
unless (exists $$self{'_impurity'}) |
|
38
|
124 |
87 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? : |
|
45
|
12 |
44 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? 0 : 1;} @{$clauses;}) == 0 |
|
51
|
0 |
44 |
unless $self->_consistency_check($clauses, $model) |
|
56
|
0 |
44 |
unless $self->_consistency_check($clauses, $model) |
|
78
|
0 |
44 |
unless $choice |
|
92
|
0 |
332 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? : |
|
99
|
0 |
88 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? 1 : 0;} @{$clauses;}) > 0 |
|
115
|
0 |
24 |
substr($literal, 0, 1) eq '-' ? : |
|
119
|
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 |
|
139
|
30 |
2 |
defined $_[0] ? : |
|
152
|
15 |
0 |
substr($$_[0], 0, 1) eq '-' ? : |
|
|
106 |
15 |
@{$_;} != 1 ? : |
|
162
|
9 |
6 |
if $model and exists $$model{$literal} and $$model{$literal} == 0 |
|
180
|
0 |
0 |
substr($literal, 0, 1) eq '-' ? : |
|
185
|
0 |
0 |
if $model and exists $$model{$literal} and $$model{$literal} == 1 |
|
199
|
16 |
48 |
if @{$c;} <= 1 |
|
201
|
12 |
218 |
if ($$c[$index] and $$c[$index] eq $string) |
|
218
|
15 |
21 |
if grep {$_ eq $literal;} @{$$list[$index];} |