line |
!l |
l&&!r |
l&&r |
condition |
38
|
87 |
0 |
124 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1 |
92
|
168 |
164 |
0 |
defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0 |
119
|
6 |
0 |
18 |
exists $$self{'_impurity'}{$literal} and $$self{'_impurity'}{$literal} != 0 |
|
6 |
18 |
0 |
exists $$self{'_impurity'}{$literal} and $$self{'_impurity'}{$literal} != 0 and !exists($$self{'_impurity'}{$opposite}) || exists $$self{'_impurity'}{$opposite} && $$self{'_impurity'}{$opposite} == 0 |
162
|
3 |
6 |
9 |
$model and exists $$model{$literal} |
|
9 |
0 |
9 |
$model and exists $$model{$literal} and $$model{$literal} == 0 |
185
|
0 |
0 |
0 |
$model and exists $$model{$literal} |
|
0 |
0 |
0 |
$model and exists $$model{$literal} and $$model{$literal} == 1 |
201
|
48 |
170 |
12 |
$$c[$index] and $$c[$index] eq $string |