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

AlterLibrariesByName

abstract class AlterLibrariesByName(val aliases: Iterable<String>) : SideEffect.AlterRuntime

Base class for AlterRuntime side effects addressing libraries by aliases only.

Inheritors

Constructors

Link copied to clipboard
constructor(aliases: Iterable<String>)

Properties

Link copied to clipboard
open val aliases: Iterable<String>

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