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