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 % |