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

ResetLibraries

data class ResetLibraries(val libraries: Libraries) : SideEffect.AlterAliasedLibraries
Content copied to clipboard

Constructors

Link copied to clipboard
fun ResetLibraries(libraries: Iterable<AliasedLibrary>)
Content copied to clipboard
Link copied to clipboard
fun ResetLibraries(libraries: Sequence<AliasedLibrary>)
Content copied to clipboard
Link copied to clipboard
fun ResetLibraries(vararg libraries: AliasedLibrary)
Content copied to clipboard
Link copied to clipboard
fun ResetLibraries(libraries: Libraries)
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 libraries: Libraries
Content copied to clipboard