solve/it.unibo.tuprolog.solve.sideffects.impl/SideEffectsBuilderImpl

SideEffectsBuilderImpl

data class SideEffectsBuilderImpl(val sideEffects: MutableList<SideEffect>) : SideEffectsBuilder

Constructors

SideEffectsBuilderImpl

fun SideEffectsBuilderImpl(sideEffects: MutableList<SideEffect>)

Functions

open override fun <X> addDurableData(vararg data: Pair<String, X>): SideEffect.SetDurableData

open override fun <X> addDurableData(data: Map<String, X>): SideEffect.SetDurableData

open override fun addDurableData(key: String, value: Any): SideEffect.SetDurableData

addDynamicClauses

open override fun addDynamicClauses(vararg clauses: <ERROR CLASS>, onTop: Boolean): SideEffect.AddDynamicClauses

open override fun addDynamicClauses(clauses: Iterable<<ERROR CLASS>>, onTop: Boolean): SideEffect.AddDynamicClauses

open override fun addDynamicClauses(clauses: Sequence<<ERROR CLASS>>, onTop: Boolean): SideEffect.AddDynamicClauses

addEphemeralData

open override fun <X> addEphemeralData(vararg data: Pair<String, X>): SideEffect.SetEphemeralData

open override fun <X> addEphemeralData(data: Map<String, X>): SideEffect.SetEphemeralData

open override fun addEphemeralData(key: String, value: Any): SideEffect.SetEphemeralData

open override fun addLibraries(libraries: Libraries): SideEffect.AddLibraries

open override fun addLibraries(vararg libraries: AliasedLibrary): SideEffect.AddLibraries

open override fun addLibraries(libraries: Iterable<AliasedLibrary>): SideEffect.AddLibraries

open override fun addLibraries(libraries: Sequence<AliasedLibrary>): SideEffect.AddLibraries

addPersistentData

open override fun <X> addPersistentData(vararg data: Pair<String, X>): SideEffect.SetPersistentData

open override fun <X> addPersistentData(data: Map<String, X>): SideEffect.SetPersistentData

open override fun addPersistentData(key: String, value: Any): SideEffect.SetPersistentData

addStaticClauses

open override fun addStaticClauses(vararg clauses: <ERROR CLASS>, onTop: Boolean): SideEffect.AddStaticClauses

open override fun addStaticClauses(clauses: Iterable<<ERROR CLASS>>, onTop: Boolean): SideEffect.AddStaticClauses

open override fun addStaticClauses(clauses: Sequence<<ERROR CLASS>>, onTop: Boolean): SideEffect.AddStaticClauses

open fun build(): List<SideEffect>

open fun buildArray(): Array<SideEffect>

open override fun clearFlags(vararg names: String): SideEffect.ClearFlags

open override fun clearFlags(names: Iterable<String>): SideEffect.ClearFlags

open override fun clearFlags(names: Sequence<String>): SideEffect.ClearFlags

closeInputChannels

open override fun closeInputChannels(vararg names: String): SideEffect.CloseInputChannels

open override fun closeInputChannels(names: Iterable<String>): SideEffect.CloseInputChannels

open override fun closeInputChannels(names: Sequence<String>): SideEffect.CloseInputChannels

closeOutputChannels

open override fun closeOutputChannels(vararg names: String): SideEffect.CloseOutputChannels

open override fun closeOutputChannels(names: Iterable<String>): SideEffect.CloseOutputChannels

open override fun closeOutputChannels(names: Sequence<String>): SideEffect.CloseOutputChannels

open override fun loadLibrary(aliasedLibrary: AliasedLibrary): SideEffect.LoadLibrary

open override fun loadLibrary(alias: String, library: Library): SideEffect.LoadLibrary

openInputChannel

open override fun openInputChannel(name: String, inputChannel: InputChannel<String>): SideEffect.OpenInputChannels

openInputChannels

open override fun openInputChannels(vararg inputChannels: Pair<String, InputChannel<String>>): SideEffect.OpenInputChannels

open override fun openInputChannels(inputChannels: Map<String, InputChannel<String>>): SideEffect.OpenInputChannels

openOutputChannel

open override fun openOutputChannel(name: String, outputChannel: OutputChannel<String>): SideEffect.OpenOutputChannels

openOutputChannels

open override fun openOutputChannels(vararg outputChannels: Pair<String, OutputChannel<String>>): SideEffect.OpenOutputChannels

open override fun openOutputChannels(outputChannels: Map<String, OutputChannel<String>>): SideEffect.OpenOutputChannels

removeDynamicClauses

open override fun removeDynamicClauses(vararg clauses: <ERROR CLASS>): SideEffect.RemoveDynamicClauses

open override fun removeDynamicClauses(clauses: Iterable<<ERROR CLASS>>): SideEffect.RemoveDynamicClauses

open override fun removeDynamicClauses(clauses: Sequence<<ERROR CLASS>>): SideEffect.RemoveDynamicClauses

removeOperators

open override fun removeOperators(vararg operators: <ERROR CLASS>): SideEffect.RemoveOperators

open override fun removeOperators(operators: Iterable<<ERROR CLASS>>): SideEffect.RemoveOperators

open override fun removeOperators(operators: Sequence<<ERROR CLASS>>): SideEffect.RemoveOperators

removeStaticClauses

open override fun removeStaticClauses(vararg clauses: <ERROR CLASS>): SideEffect.RemoveStaticClauses

open override fun removeStaticClauses(clauses: Iterable<<ERROR CLASS>>): SideEffect.RemoveStaticClauses

open override fun removeStaticClauses(clauses: Sequence<<ERROR CLASS>>): SideEffect.RemoveStaticClauses

open override fun resetDynamicKb(vararg clauses: <ERROR CLASS>): SideEffect.ResetDynamicKb

open override fun resetDynamicKb(clauses: Iterable<<ERROR CLASS>>): SideEffect.ResetDynamicKb

open override fun resetDynamicKb(clauses: Sequence<<ERROR CLASS>>): SideEffect.ResetDynamicKb

open override fun resetFlags(vararg flags: Pair<String, <ERROR CLASS>>): SideEffect.ResetFlags

open override fun resetFlags(flags: Map<String, <ERROR CLASS>>): SideEffect.ResetFlags

resetInputChannels

open override fun resetInputChannels(vararg inputChannels: Pair<String, InputChannel<String>>): SideEffect.ResetInputChannels

open override fun resetInputChannels(inputChannels: Iterable<Pair<String, InputChannel<String>>>): SideEffect.ResetInputChannels

open override fun resetInputChannels(inputChannels: Map<String, InputChannel<String>>): SideEffect.ResetInputChannels

open override fun resetInputChannels(inputChannels: Sequence<Pair<String, InputChannel<String>>>): SideEffect.ResetInputChannels

open override fun resetLibraries(libraries: Libraries): SideEffect.ResetLibraries

open override fun resetLibraries(vararg libraries: AliasedLibrary): SideEffect.ResetLibraries

open override fun resetLibraries(libraries: Iterable<AliasedLibrary>): SideEffect.ResetLibraries

open override fun resetLibraries(libraries: Sequence<AliasedLibrary>): SideEffect.ResetLibraries

open override fun resetOperators(vararg operators: <ERROR CLASS>): SideEffect.ResetOperators

open override fun resetOperators(operators: Iterable<<ERROR CLASS>>): SideEffect.ResetOperators

open override fun resetOperators(operators: Sequence<<ERROR CLASS>>): SideEffect.ResetOperators

resetOutputChannels

open override fun resetOutputChannels(vararg outputChannels: Pair<String, OutputChannel<String>>): SideEffect.ResetOutputChannels

open override fun resetOutputChannels(outputChannels: Iterable<Pair<String, OutputChannel<String>>>): SideEffect.ResetOutputChannels

open override fun resetOutputChannels(outputChannels: Map<String, OutputChannel<String>>): SideEffect.ResetOutputChannels

open override fun resetOutputChannels(outputChannels: Sequence<Pair<String, OutputChannel<String>>>): SideEffect.ResetOutputChannels

open override fun resetStaticKb(vararg clauses: <ERROR CLASS>): SideEffect.ResetStaticKb

open override fun resetStaticKb(clauses: Iterable<<ERROR CLASS>>): SideEffect.ResetStaticKb

open override fun resetStaticKb(clauses: Sequence<<ERROR CLASS>>): SideEffect.ResetStaticKb

open override fun <X> setDurableData(vararg data: Pair<String, X>): SideEffect.SetDurableData

open override fun <X> setDurableData(data: Map<String, X>): SideEffect.SetDurableData

open override fun setDurableData(key: String, value: Any): SideEffect.SetDurableData

setEphemeralData

open override fun <X> setEphemeralData(vararg data: Pair<String, X>): SideEffect.SetEphemeralData

open override fun <X> setEphemeralData(data: Map<String, X>): SideEffect.SetEphemeralData

open override fun setEphemeralData(key: String, value: Any): SideEffect.SetEphemeralData

open override fun setFlag(name: String, value: <ERROR CLASS>): SideEffect.SetFlags

open override fun setFlags(vararg flags: Pair<String, <ERROR CLASS>>): SideEffect.SetFlags

open override fun setFlags(flags: Map<String, <ERROR CLASS>>): SideEffect.SetFlags

open override fun setOperators(vararg operators: <ERROR CLASS>): SideEffect.SetOperators

open override fun setOperators(operators: Iterable<<ERROR CLASS>>): SideEffect.SetOperators

open override fun setOperators(operators: Sequence<<ERROR CLASS>>): SideEffect.SetOperators

setPersistentData

open override fun <X> setPersistentData(vararg data: Pair<String, X>): SideEffect.SetPersistentData

open override fun <X> setPersistentData(data: Map<String, X>): SideEffect.SetPersistentData

open override fun setPersistentData(key: String, value: Any): SideEffect.SetPersistentData

unloadLibraries

open override fun unloadLibraries(vararg aliases: String): SideEffect.UnloadLibraries

open override fun unloadLibraries(aliases: Iterable<String>): SideEffect.UnloadLibraries

open override fun unloadLibraries(aliases: Sequence<String>): SideEffect.UnloadLibraries

open override fun updateLibrary(aliasedLibrary: AliasedLibrary): SideEffect.UpdateLibrary

open override fun updateLibrary(alias: String, library: Library): SideEffect.UpdateLibrary

Properties

open override val sideEffects: MutableList<SideEffect>