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

CloseOutputChannels

data class CloseOutputChannels(val names: Iterable<String>) : SideEffect.AlterChannelsByName

Closes/removes the output channels named in names.

Constructors

CloseOutputChannels

constructor(names: Iterable<String>)

constructor(vararg names: String)

constructor(names: Sequence<String>)

Properties

open override val names: Iterable<String>

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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