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

InputStore

interface InputStore : ChannelStore<String, InputChannel<String>, InputStore>

Types

object Companion

Functions

abstract fun aliasesOf(channel: InputChannel<String>): Sequence<String>

open fun close(channel: InputChannel<String>): InputStore

abstract fun containsKey(key: String): Boolean

abstract fun containsValue(value: InputChannel<String>): Boolean

abstract fun findByTerm(streamTerm: <ERROR CLASS>): Sequence<InputChannel<String>>

abstract operator fun get(key: String): InputChannel<String>?

abstract fun isEmpty(): Boolean

open operator fun minus(other: String): InputStore

open operator fun minus(others: Iterable<String>): InputStore

abstract operator fun minus(others: Sequence<String>): InputStore

open fun minus(other: String, vararg others: String): InputStore

open operator fun plus(other: Pair<String, InputChannel<String>>): InputStore

open operator fun plus(others: Iterable<Pair<String, InputChannel<String>>>): InputStore

abstract operator fun plus(others: Map<String, InputChannel<String>>): InputStore

open operator fun plus(others: Sequence<Pair<String, InputChannel<String>>>): InputStore

open fun plus(first: Pair<String, InputChannel<String>>, vararg others: Pair<String, InputChannel<String>>): InputStore

abstract fun setCurrent(channel: InputChannel<String>): InputStore

abstract fun setCurrent(alias: String): InputStore

Properties

open val current: InputChannel<String>?

open val currentAliases: Sequence<String>

abstract val entries: Set<Map.Entry<String, InputChannel<String>>>

abstract val keys: Set<String>

abstract val size: Int

abstract val stdIn: InputChannel<String>

abstract val values: Collection<InputChannel<String>>