solve/it.unibo.tuprolog.solve.sideffects.impl/SideEffectsBuilderImpl/unloadLibraries

unloadLibraries

open override fun unloadLibraries(aliases: Iterable<String>): SideEffect.UnloadLibraries
Content copied to clipboard
open override fun unloadLibraries(aliases: Sequence<String>): SideEffect.UnloadLibraries
Content copied to clipboard
open override fun unloadLibraries(vararg aliases: String): SideEffect.UnloadLibraries
Content copied to clipboard