documentation
1.5.1-dev02-c0569c38e
      Target filter
Search in API
Skip to content
    documentation
solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/closeOutputChannels

closeOutputChannels

abstract fun closeOutputChannels(names: Iterable<String>): SideEffect.CloseOutputChannels
abstract fun closeOutputChannels(names: Sequence<String>): SideEffect.CloseOutputChannels
abstract fun closeOutputChannels(vararg names: String): SideEffect.CloseOutputChannels

Creates a SideEffect.CloseOutputChannels.

Generated by Dokka
© 2026 Copyright