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

addLibraries

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