Condition Coverage

blib/lib/Algorithm/SAT/Backtracking/DPLL.pm
Criterion Covered Total %
condition 19 35 54.2


and 2 conditions

line l !l condition
144 0 0 $self->_add_literal('-' . $$_[0], $clauses) && ($$model{$$_[0]} = 1)

and 3 conditions

line !l l&&!r l&&r condition
35 90 0 136 defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1
87 174 188 0 defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0
113 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
152 3 6 11 $model and exists $$model{$literal}
9 0 11 $model and exists $$model{$literal} and $$model{$literal} == 0
173 0 0 0 $model and exists $$model{$literal}
0 0 0 $model and exists $$model{$literal} and $$model{$literal} == 1
188 48 170 12 $$c[$index] and $$c[$index] eq $string

or 3 conditions

line l !l&&r !l&&!r condition
79 48 0 0 $self->solve($variables, $clauses, $self->update($model, $choice, 1)) || $self->solve($variables, $clauses, $self->update($model, $choice, 0))
113 6 0 12 !exists($$self{'_impurity'}{$opposite}) || exists $$self{'_impurity'}{$opposite} && $$self{'_impurity'}{$opposite} == 0