solve/it.unibo.tuprolog.solve.channel/ChannelStore

ChannelStore

interface ChannelStore<T : Any, C : Channel<T>, Self : ChannelStore<T, C, Self>> : Map<String, C>

Types

Companion

object Companion

Functions

aliasesOf

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

open fun close(channel: C): Self

containsKey

abstract fun containsKey(key: String): Boolean

containsValue

abstract fun containsValue(value: C): Boolean

findByTerm

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

get

abstract operator fun get(key: String): C?

isEmpty

abstract fun isEmpty(): Boolean

minus

open operator fun minus(other: String): Self

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

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

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

plus

open operator fun plus(other: Pair<String, C>): Self

open operator fun plus(others: Iterable<Pair<String, C>>): Self

abstract operator fun plus(others: Map<String, C>): Self

open operator fun plus(others: Sequence<Pair<String, C>>): Self

open fun plus(first: Pair<String, C>, vararg others: Pair<String, C>): Self

setCurrent

abstract fun setCurrent(channel: C): Self

abstract fun setCurrent(alias: String): Self

Properties

current

open val current: C?

currentAliases

open val currentAliases: Sequence<String>

entries

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

keys

abstract val keys: Set<String>

size

abstract val size: Int

values

abstract val values: Collection<C>

Inheritors

InputStore

OutputStore

AbstractChannelStore