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

AddLibraries

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

Constructors

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