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

of

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.

@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.