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

closeInputChannels

abstract fun closeInputChannels(names: Iterable<String>): SideEffect.CloseInputChannels
abstract fun closeInputChannels(names: Sequence<String>): SideEffect.CloseInputChannels
abstract fun closeInputChannels(vararg names: String): SideEffect.CloseInputChannels

Creates a SideEffect.CloseInputChannels.

Generated by Dokka
© 2026 Copyright