| Class | Source file | Lines | Methods | Statements | Invoked | Coverage | Branches | Invoked | Coverage | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| DCGLibrary | Library.scala | 23 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Engine | Engine.scala | 68 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Theory | Theory.scala | 25 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| TuPrologConverter | Theory.scala | 19 | 1 | 2 | 2 |
|
100.00 % | 0 | 0 |
|
100.00 % |