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

resetLibraries

open fun resetLibraries(libraries: Libraries): SideEffect.ResetLibraries
Content copied to clipboard
open fun resetLibraries(libraries: Iterable<AliasedLibrary>): SideEffect.ResetLibraries
Content copied to clipboard
open fun resetLibraries(libraries: Sequence<AliasedLibrary>): SideEffect.ResetLibraries
Content copied to clipboard
open fun resetLibraries(vararg libraries: AliasedLibrary): SideEffect.ResetLibraries
Content copied to clipboard