Coverage Summary for Class: LibraryConversionsKt (it.unibo.tuprolog.argumentation.core.modules)
| Class |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| LibraryConversionsKt |
0%
(0/1)
|
0%
(0/2)
|
|
0%
(0/2)
|
0%
(0/17)
|
package it.unibo.tuprolog.argumentation.core.modules
import it.unibo.tuprolog.solve.library.Library
import it.unibo.tuprolog.theory.Theory
/** The clauses of the theory, as a library of [alias] */
fun Theory.toLibrary(alias: String): Library = Library.of(alias, clauses = this.clauses)
/** The clauses of the library, as a theory */
fun Library.toTheory(): Theory = Theory.of(this.clauses)