solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/unloadLibraries

unloadLibraries

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