| 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
|
2549 |
3981 |
if (substr($var, 0, 1) eq '-') { } |
|
111
|
281 |
1163 |
$value == 0 ? : |
|
|
1105 |
1444 |
!defined($value) ? : |
|
127
|
437 |
2827 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? : |
|
134
|
1 |
1183 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? 0 : 1;} @{$clauses;}) == 0 |
|
139
|
1036 |
2226 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? : |
|
146
|
820 |
363 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? 1 : 0;} @{$clauses;}) > 0 |