solve/it.unibo.tuprolog.solve.library/Runtime/Companion

Companion

object Companion

Functions

empty

@JvmStatic

fun empty(): Runtime

An empty Runtime, with no loaded libraries.

@JvmStatic

fun of(libraries: Iterable<Library>): Runtime

Same as of, for an Iterable of libraries.

@JvmStatic

fun of(libraries: Sequence<Library>): Runtime

Same as of, for a Sequence of libraries.

@JvmStatic

fun of(vararg library: Library): Runtime

Creates a Runtime out of the given library instances. Note that, unlike plus, this does not reject clashing aliases: if two of them share the same Library.alias, the later one silently wins.