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

AlterLibrary

abstract class AlterLibrary(val library: Library) : SideEffect.AlterAliasedRuntime

Base class for AlterRuntime side effects concerning a single library.

Inheritors

Constructors

Link copied to clipboard
constructor(library: Library)

Properties

Link copied to clipboard
open override val libraries: Runtime

The Runtime this side effect carries.

Link copied to clipboard
open val library: Library

Functions

Link copied to clipboard
abstract fun applyTo(context: ExecutionContext): ExecutionContext

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

Generated by Dokka
© 2026 Copyright