solve/it.unibo.tuprolog.solve.channel/OutputStore

OutputStore

interface OutputStore : ChannelStore<String, OutputChannel<String>, OutputStore>

Types

Companion

object Companion

Functions

aliasesOf

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

open fun close(channel: OutputChannel<String>): OutputStore

containsKey

abstract fun containsKey(key: String): Boolean

containsValue

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

findByTerm

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

get

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

isEmpty

abstract fun isEmpty(): Boolean

minus

open operator fun minus(other: String): OutputStore

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

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

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

plus

open operator fun plus(other: Pair<String, OutputChannel<String>>): OutputStore

open operator fun plus(others: Iterable<Pair<String, OutputChannel<String>>>): OutputStore

abstract operator fun plus(others: Map<String, OutputChannel<String>>): OutputStore

open operator fun plus(others: Sequence<Pair<String, OutputChannel<String>>>): OutputStore

open fun plus(first: Pair<String, OutputChannel<String>>, vararg others: Pair<String, OutputChannel<String>>): OutputStore

setCurrent

abstract fun setCurrent(channel: OutputChannel<String>): OutputStore

abstract fun setCurrent(alias: String): OutputStore

Properties

current

open val current: OutputChannel<String>?

currentAliases

open val currentAliases: Sequence<String>

entries

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

keys

abstract val keys: Set<String>

size

abstract val size: Int

stdErr

abstract val stdErr: OutputChannel<String>

stdOut

abstract val stdOut: OutputChannel<String>

values

abstract val values: Collection<OutputChannel<String>>

warnings

abstract val warnings: OutputChannel<Warning>