Condition Coverage

blib/lib/Algorithm/SAT/Backtracking/DPLL.pm
Criterion Covered Total %
condition 16 32 50.0


and 2 conditions

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

and 3 conditions

line !l l&&!r l&&r condition
36 97 0 125 defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1
90 188 166 0 defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0
117 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
160 3 6 10 $model and exists $$model{$literal}
9 0 10 $model and exists $$model{$literal} and $$model{$literal} == 0
183 0 0 0 $model and exists $$model{$literal}
0 0 0 $model and exists $$model{$literal} and $$model{$literal} == 1

or 3 conditions

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