solve/it.unibo.tuprolog.solve.library/Libraries/minus

minus

open operator override fun minus(library: AliasedLibrary): Libraries
Content copied to clipboard

Removes the library from this library group


operator fun minus(alias: String): Libraries
Content copied to clipboard
operator fun minus(aliases: Iterable<String>): Libraries
Content copied to clipboard