solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory

SideEffectFactory

interface SideEffectFactory

Types

object Companion

Functions

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

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

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

addDynamicClauses

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

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

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

addEphemeralData

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

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

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

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

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

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

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

addPersistentData

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

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

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

addStaticClauses

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

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

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

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

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

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

closeInputChannels

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

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

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

closeOutputChannels

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

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

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

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

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

openInputChannel

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

openInputChannels

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

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

openOutputChannel

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

openOutputChannels

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

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

removeDynamicClauses

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

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

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

removeOperators

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

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

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

removeStaticClauses

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

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

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

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

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

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

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

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

resetInputChannels

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

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

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

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

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

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

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

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

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

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

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

resetOutputChannels

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

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

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

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

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

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

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

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

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

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

setEphemeralData

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

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

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

open fun setFlag(name: String, value: <ERROR CLASS>): <ERROR CLASS>

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

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

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

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

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

setPersistentData

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

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

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

unloadLibraries

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

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

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

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

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

Inheritors

SideEffectsBuilder