solve/it.unibo.tuprolog.solve.library/Runtime/update

update

abstract fun update(library: Library): Runtime

Updates an already contained library, with given library.

Throws

IllegalArgumentException

if no library aliased as library's Library.alias is currently loaded.