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

AlterAliasedRuntime

abstract class AlterAliasedRuntime : SideEffect.AlterRuntime

Base class for AlterRuntime side effects expressible as a Runtime (a set of aliased Librarys).

Inheritors

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
abstract val libraries: Runtime

The Runtime this side effect carries.

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