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

UpdateLibrary

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

Constructors

fun UpdateLibrary(alias: String, library: Library)

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

Properties

open override val alias: String

val aliasedLibrary: AliasedLibrary

open override val libraries: Libraries

open override val library: Library