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

AlterChannelsByName

abstract class AlterChannelsByName(val names: Iterable<String>) : SideEffect.AlterChannels

Base class for AlterChannels side effects addressing channels by names only (e.g. to close them).

Inheritors

Constructors

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

Properties

Link copied to clipboard
open val names: 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