Condition Coverage

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


and 2 conditions

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

and 3 conditions

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

or 3 conditions

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