solve/it.unibo.tuprolog.solve.sideffects/SideEffect

SideEffect

abstract class SideEffect

Constructors

SideEffect

fun SideEffect()

Types

AddClausesToKb

abstract class AddClausesToKb(val clauses: Iterable<<ERROR CLASS>>, val onTop: Boolean) : SideEffect.SetClausesOfKb

AddDynamicClauses

data class AddDynamicClauses(val clauses: Iterable<<ERROR CLASS>>, val onTop: Boolean = false) : SideEffect.AddClausesToKb

AddLibraries

data class AddLibraries(val libraries: Libraries) : SideEffect.AlterAliasedLibraries

AddStaticClauses

data class AddStaticClauses(val clauses: Iterable<<ERROR CLASS>>, val onTop: Boolean = false) : SideEffect.AddClausesToKb

AlterAliasedLibraries

abstract class AlterAliasedLibraries : SideEffect.AlterLibraries

AlterChannels

abstract class AlterChannels : SideEffect

AlterChannelsByName

abstract class AlterChannelsByName(val names: Iterable<String>) : SideEffect.AlterChannels

AlterCustomData

abstract class AlterCustomData(val data: Map<String, Any>, val reset: Boolean = false) : SideEffect

AlterFlags

abstract class AlterFlags : SideEffect

AlterFlagsByEntries

abstract class AlterFlagsByEntries(val flags: Map<String, <ERROR CLASS>>) : SideEffect.AlterFlags

AlterFlagsByName

abstract class AlterFlagsByName(val names: Iterable<String>) : SideEffect.AlterFlags

AlterInputChannels

abstract class AlterInputChannels(val inputChannels: Map<String, InputChannel<String>>) : SideEffect.AlterChannels

AlterLibraries

abstract class AlterLibraries : SideEffect

AlterLibrariesByName

abstract class AlterLibrariesByName(val aliases: Iterable<String>) : SideEffect.AlterLibraries

AlterLibrary

abstract class AlterLibrary(val alias: String, val library: Library) : SideEffect.AlterAliasedLibraries

AlterOperators

abstract class AlterOperators(val operators: Iterable<<ERROR CLASS>>) : SideEffect

AlterOutputChannels

abstract class AlterOutputChannels(val outputChannels: Map<String, OutputChannel<String>>) : SideEffect.AlterChannels

ClearFlags

data class ClearFlags(val names: Iterable<String>) : SideEffect.AlterFlagsByName

CloseInputChannels

data class CloseInputChannels(val names: Iterable<String>) : SideEffect.AlterChannelsByName

CloseOutputChannels

data class CloseOutputChannels(val names: Iterable<String>) : SideEffect.AlterChannelsByName

LoadLibrary

data class LoadLibrary(val alias: String, val library: Library) : SideEffect.AlterLibrary

OpenInputChannels

data class OpenInputChannels(val inputChannels: Map<String, InputChannel<String>>) : SideEffect.AlterInputChannels

OpenOutputChannels

data class OpenOutputChannels(val outputChannels: Map<String, OutputChannel<String>>) : SideEffect.AlterOutputChannels

RemoveClausesFromKb

abstract class RemoveClausesFromKb(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.SetClausesOfKb

RemoveDynamicClauses

data class RemoveDynamicClauses(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.RemoveClausesFromKb

RemoveOperators

data class RemoveOperators(val operators: Iterable<<ERROR CLASS>>) : SideEffect.AlterOperators

RemoveStaticClauses

data class RemoveStaticClauses(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.RemoveClausesFromKb

ResetDynamicKb

data class ResetDynamicKb(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.SetClausesOfKb

ResetFlags

data class ResetFlags(val flags: Map<String, <ERROR CLASS>>) : SideEffect.AlterFlagsByEntries

ResetInputChannels

data class ResetInputChannels(val inputChannels: Map<String, InputChannel<String>>) : SideEffect.AlterInputChannels

ResetLibraries

data class ResetLibraries(val libraries: Libraries) : SideEffect.AlterAliasedLibraries

ResetOperators

data class ResetOperators(val operators: Iterable<<ERROR CLASS>>) : SideEffect.AlterOperators

ResetOutputChannels

data class ResetOutputChannels(val outputChannels: Map<String, OutputChannel<String>>) : SideEffect.AlterOutputChannels

ResetStaticKb

data class ResetStaticKb(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.SetClausesOfKb

SetClausesOfKb

abstract class SetClausesOfKb(val clauses: Iterable<<ERROR CLASS>>) : SideEffect

SetDurableData

data class SetDurableData(val data: Map<String, Any>, val reset: Boolean = false) : SideEffect.AlterCustomData

SetEphemeralData

data class SetEphemeralData(val data: Map<String, Any>, val reset: Boolean = false) : SideEffect.AlterCustomData

SetFlags

data class SetFlags(val flags: Map<String, <ERROR CLASS>>) : SideEffect.AlterFlagsByEntries

SetOperators

data class SetOperators(val operators: Iterable<<ERROR CLASS>>) : SideEffect.AlterOperators

SetPersistentData

data class SetPersistentData(val data: Map<String, Any>, val reset: Boolean = false) : SideEffect.AlterCustomData

UnloadLibraries

data class UnloadLibraries(val aliases: Iterable<String>) : SideEffect.AlterLibrariesByName

UpdateLibrary

data class UpdateLibrary(val alias: String, val library: Library) : SideEffect.AlterLibrary

Functions

applyTo

abstract fun applyTo(context: ExecutionContext): ExecutionContext

Inheritors