| blib/lib/Algorithm/SAT/Backtracking/DPLL.pm | |||
|---|---|---|---|
| Criterion | Covered | Total | % |
| subroutine | 16 | 17 | 94.1 |
| pod | 1 | 1 | 100.0 |
| line | count | pod | subroutine |
|---|---|---|---|
| 2 | 9 | n/a | BEGIN |
| 3 | 7 | n/a | BEGIN |
| 4 | 4 | n/a | BEGIN |
| 5 | 4 | n/a | BEGIN |
| 10 | 22 | n/a | import |
| 13 | 2 | n/a | BEGIN |
| 16 | 4 | n/a | BEGIN |
| 16 | 4 | n/a | BEGIN |
| 16 | 4 | n/a | BEGIN |
| 27 | 56 | Yes | solve |
| 89 | 88 | n/a | _consistency_check |
| 107 | 24 | n/a | _pure |
| 136 | 32 | n/a | _up |
| 157 | 18 | n/a | _remove_literal |
| 176 | 0 | n/a | _add_literal |
| 195 | 16 | n/a | _delete_from_index |
| 212 | 12 | n/a | _remove_clause_if_contains |