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

CloseOutputChannels

data class CloseOutputChannels(val names: Iterable<String>) : SideEffect.AlterChannelsByName
Content copied to clipboard

Constructors

Link copied to clipboard
fun CloseOutputChannels(vararg names: String)
Content copied to clipboard
Link copied to clipboard
fun CloseOutputChannels(names: Sequence<String>)
Content copied to clipboard
Link copied to clipboard
fun CloseOutputChannels(names: Iterable<String>)
Content copied to clipboard

Functions

Link copied to clipboard
open override fun applyTo(context: ExecutionContext): ExecutionContext
Content copied to clipboard

Properties

Link copied to clipboard
open override val names: Iterable<String>
Content copied to clipboard