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

OpenOutputChannels

data class OpenOutputChannels(val outputChannels: Map<String, OutputChannel<String>>) : SideEffect.AlterOutputChannels

Adds outputChannels to the output channel store (see it.unibo.tuprolog.solve.channel.OutputStore).

Constructors

OpenOutputChannels

constructor(outputChannels: Map<String, OutputChannel<String>>)

constructor(vararg outputChannels: Pair<String, OutputChannel<String>>)

constructor(outputChannels: Iterable<Pair<String, OutputChannel<String>>>)

constructor(outputChannels: Sequence<Pair<String, OutputChannel<String>>>)

Properties

open override val outputChannels: Map<String, OutputChannel<String>>

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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