| blib/lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm | |||
|---|---|---|---|
| Criterion | Covered | Total | % |
| condition | 1 | 11 | 9.0 |
| line | l | !l | condition |
|---|---|---|---|
| 68 | 0 | 14 | $choice = $variable and last |
| line | !l | l&&!r | l&&r | condition |
|---|---|---|---|---|
| 40 | 0 | 0 | 0 | $self->_add_literal('-' . $$_[0], $clauses) && $model->set($$_[0], 1) |
| 54 | 0 | 0 | 0 | $model and $model->exists($literal) |
| 0 | 0 | 0 | $model and $model->exists($literal) and $model->set($literal, 1) |