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

updateLibrary

open override fun updateLibrary(alias: String, library: Library): SideEffect.UpdateLibrary
Content copied to clipboard
open override fun updateLibrary(aliasedLibrary: AliasedLibrary): SideEffect.UpdateLibrary
Content copied to clipboard