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

UnloadLibraries

data class UnloadLibraries(val aliases: Iterable<String>) : SideEffect.AlterLibrariesByName
Content copied to clipboard

Constructors

Link copied to clipboard
fun UnloadLibraries(aliases: List<String>)
Content copied to clipboard
Link copied to clipboard
fun UnloadLibraries(aliases: Sequence<String>)
Content copied to clipboard
Link copied to clipboard
fun UnloadLibraries(vararg aliases: String)
Content copied to clipboard
Link copied to clipboard
fun UnloadLibraries(aliases: Iterable<String>)
Content copied to clipboard

Functions

Link copied to clipboard
open override fun applyTo(context: ExecutionContext): ExecutionContext
Content copied to clipboard

Properties

Link copied to clipboard
open override val aliases: Iterable<String>
Content copied to clipboard