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

updateLibrary

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