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

LoadLibrary

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

Adds library to the loaded Runtime.

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.