| 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 |
| 12 | 2 | n/a | BEGIN |
| 15 | 4 | n/a | BEGIN |
| 15 | 4 | n/a | BEGIN |
| 15 | 4 | n/a | BEGIN |
| 26 | 60 | Yes | solve |
| 86 | 96 | n/a | _consistency_check |
| 102 | 24 | n/a | _pure |
| 130 | 36 | n/a | _up |
| 149 | 20 | n/a | _remove_literal |
| 166 | 0 | n/a | _add_literal |
| 183 | 16 | n/a | _delete_from_index |
| 199 | 12 | n/a | _remove_clause_if_contains |