solve/it.unibo.tuprolog.solve.channel/InputStore/Companion

Companion

object Companion

Properties

const val STDIN: String

The reserved alias for the standard input channel.

Functions

fun fromStandard(input: InputChannel<String> = InputChannel.stdIn()): InputStore

Creates an InputStore with input (defaulting to InputChannel.stdIn) as both stdIn and "user_input".

fun of(channels: Map<String, InputChannel<String>>): InputStore

Creates an InputStore out of channels, using the STDIN-aliased one (or InputChannel.stdIn if absent) as stdIn.