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

ResetRuntime

data class ResetRuntime(val libraries: Runtime) : SideEffect.AlterAliasedRuntime

Replaces the whole loaded Runtime with libraries.

Constructors

constructor(libraries: Runtime)

constructor(libraries: Iterable<Library>)

constructor(libraries: Sequence<Library>)

constructor(vararg libraries: Library)

Properties

open override val libraries: Runtime

The Runtime this side effect carries.

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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