| blib/lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm | |||
|---|---|---|---|
| Criterion | Covered | Total | % |
| branch | 8 | 14 | 57.1 |
| line | true | false | branch |
|---|---|---|---|
| 15 | 14 | 4 | defined $_[0] ? : |
| 23 | 15 | 0 | defined $_[0] ? : |
| 42 | 7 | 0 | substr($$_[0], 0, 1) eq '-' ? : |
| 50 | 7 | @{$_;} != 1 ? : | |
| 51 | 0 | 0 | substr($literal, 0, 1) eq '-' ? : |
| 56 | 0 | 0 | if $model and $model->exists($literal) and $model->set($literal, 1) |
| 71 | 14 | 19 | unless $model->exists($variable) |