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

LoadLibrary

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

Constructors

fun LoadLibrary(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