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

UnloadLibraries

data class UnloadLibraries(val aliases: Iterable<String>) : SideEffect.AlterLibrariesByName

Removes the libraries named in aliases from the loaded Runtime.

Constructors

UnloadLibraries

constructor(aliases: Iterable<String>)

constructor(aliases: List<String>)

constructor(aliases: Sequence<String>)

constructor(vararg aliases: String)

Properties

open override val aliases: Iterable<String>

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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