| blib/lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm | |||
|---|---|---|---|
| Criterion | Covered | Total | % |
| subroutine | 8 | 9 | 88.8 |
| pod | 1 | 1 | 100.0 |
| line | count | pod | subroutine |
|---|---|---|---|
| 2 | 2 | n/a | BEGIN |
| 3 | 2 | n/a | BEGIN |
| 5 | 2 | n/a | BEGIN |
| 6 | 2 | n/a | BEGIN |
| 7 | 2 | n/a | BEGIN |
| 12 | 18 | Yes | solve |
| 18 | 15 | n/a | _up |
| 43 | 0 | n/a | _add_literal |
| 59 | 14 | n/a | _choice |