• Home
• it.unibo.tuprolog
• solve-jvm
• 0.32.5
• source code
• LibraryUtils.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.solve.library.LibraryUtils.kt Maven / Gradle / Ivy

@file:JvmName("LibraryUtils")

package it.unibo.tuprolog.solve.library

import kotlin.js.JsName
import kotlin.jvm.JvmName

/** Converts the current library into a [Runtime] containing a single library */
@JsName("libraryToRuntime")
fun Library.toRuntime(): Runtime = Runtime.of(this)

@JsName("libraryPlusLibrary")
operator fun Library.plus(other: Library): Runtime = Runtime.of(this, other)