| line |
true |
false |
branch |
|
34
|
29 |
5 |
defined $_[0] ? : |
|
38
|
67 |
53 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? : |
|
45
|
7 |
27 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? 0 : 1;} @{$clauses;}) == 0 |
|
51
|
0 |
96 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? : |
|
58
|
0 |
27 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? 1 : 0;} @{$clauses;}) > 0 |
|
70
|
0 |
27 |
unless $choice |
|
86
|
33 |
48 |
unless exists $$model{$variable} |
|
109
|
2735 |
4273 |
if (substr($var, 0, 1) eq '-') { } |
|
111
|
305 |
1343 |
$value == 0 ? : |
|
|
1087 |
1648 |
!defined($value) ? : |
|
127
|
482 |
2908 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? : |
|
134
|
1 |
1219 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? 0 : 1;} @{$clauses;}) == 0 |
|
139
|
1104 |
2284 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? : |
|
146
|
826 |
393 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? 1 : 0;} @{$clauses;}) > 0 |