solve/it.unibo.tuprolog.solve.sideffects/SideEffect/UpdateLibrary

UpdateLibrary

data class UpdateLibrary(val library: Library) : SideEffect.AlterLibrary

Replaces, within the loaded Runtime, the library sharing library's alias with library itself.

Constructors

constructor(library: Library)

Properties

open override val libraries: Runtime

The Runtime this side effect carries.

open override val library: Library

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

Produces the ExecutionContext resulting from applying this side effect to context.