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

OpenInputChannels

data class OpenInputChannels(val inputChannels: Map<String, InputChannel<String>>) : SideEffect.AlterInputChannels

Adds inputChannels to the input channel store (see it.unibo.tuprolog.solve.channel.InputStore).

Constructors

OpenInputChannels

constructor(inputChannels: Map<String, InputChannel<String>>)

constructor(vararg inputChannels: Pair<String, InputChannel<String>>)

constructor(inputChannels: Iterable<Pair<String, InputChannel<String>>>)

constructor(inputChannels: Sequence<Pair<String, InputChannel<String>>>)

Properties

open override val inputChannels: Map<String, InputChannel<String>>

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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