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

ResetOutputChannels

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

Replaces the whole output channel store with outputChannels.

Constructors

ResetOutputChannels

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.