| line |
true |
false |
branch |
|
32
|
5 |
29 |
unless defined $model |
|
36
|
67 |
53 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? : |
|
43
|
7 |
27 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 ? 0 : 1;} @{$clauses;}) == 0 |
|
49
|
0 |
96 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? : |
|
56
|
0 |
27 |
if grep({defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 ? 1 : 0;} @{$clauses;}) > 0 |
|
67
|
0 |
27 |
unless $choice |
|
82
|
33 |
48 |
unless exists $$model{$variable} |
|
102
|
2873 |
4463 |
if (substr($var, 0, 1) eq '-') { } |
|
104
|
329 |
1367 |
$value == 0 ? : |
|
|
1177 |
1696 |
!defined($value) ? : |
|
119
|
488 |
3004 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? : |
|
126
|
1 |
1264 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0 ? 0 : 1;} @{$clauses;}) == 0 |
|
131
|
1160 |
2330 |
defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? : |
|
138
|
892 |
372 |
if grep({defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1 ? 1 : 0;} @{$clauses;}) > 0 |