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

AlterLibrary

abstract class AlterLibrary(val alias: String, val library: Library) : SideEffect.AlterAliasedLibraries

Constructors

fun AlterLibrary(alias: String, library: Library)

Functions

abstract fun applyTo(context: ExecutionContext): ExecutionContext

Properties

open val alias: String

val aliasedLibrary: AliasedLibrary

open override val libraries: Libraries

open val library: Library

Inheritors