| blib/lib/Algorithm/SAT/Backtracking/DPLL.pm | |||
|---|---|---|---|
| Criterion | Covered | Total | % |
| subroutine | 14 | 15 | 93.3 |
| pod | 1 | 1 | 100.0 |
| line | count | pod | subroutine |
|---|---|---|---|
| 2 | 9 | n/a | BEGIN |
| 3 | 7 | n/a | BEGIN |
| 8 | 22 | n/a | import |
| 11 | 2 | n/a | BEGIN |
| 14 | 4 | n/a | BEGIN |
| 14 | 4 | n/a | BEGIN |
| 14 | 4 | n/a | BEGIN |
| 25 | 59 | Yes | solve |
| 87 | 94 | n/a | _consistency_check |
| 105 | 24 | n/a | _pure |
| 134 | 35 | n/a | _up |
| 155 | 19 | n/a | _remove_literal |
| 174 | 0 | n/a | _add_literal |
| 193 | 16 | n/a | _delete_from_index |
| 209 | 12 | n/a | _remove_clause_if_contains |