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

CloseInputChannels

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

Constructors

Link copied to clipboard
fun CloseInputChannels(vararg names: String)
Content copied to clipboard
Link copied to clipboard
fun CloseInputChannels(names: Sequence<String>)
Content copied to clipboard
Link copied to clipboard
fun CloseInputChannels(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