SideEffectFactory

interface SideEffectFactory: Any

Methods

resetStaticKb

open fun resetStaticKb(clauses: Iterable<Clause>): (clauses: Iterable)

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
(clauses: Iterable)

resetStaticKb

open fun resetStaticKb(clauses: Sequence<Clause>): ResetStaticKb

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
ResetStaticKb

resetStaticKb

open fun resetStaticKb(vararg clauses: Clause): ResetStaticKb

Parameters

Name Description
vararg clauses: Clause

ReturnValue

Name Description
ResetStaticKb

addStaticClauses

open fun addStaticClauses(clauses: Iterable<Clause>, onTop: Boolean): (clauses: Iterable, onTop: Boolean = false)

Parameters

Name Description
clauses: Iterable<Clause>
onTop: Boolean

ReturnValue

Name Description
(clauses: Iterable, onTop: Boolean = false)

addStaticClauses

open fun addStaticClauses(clauses: Sequence<Clause>, onTop: Boolean): (clauses: Sequence, onTop: Boolean = false)

Parameters

Name Description
clauses: Sequence<Clause>
onTop: Boolean

ReturnValue

Name Description
(clauses: Sequence, onTop: Boolean = false)

addStaticClauses

open fun addStaticClauses(vararg clauses: Clause, onTop: Boolean): AddStaticClauses

Parameters

Name Description
vararg clauses: Clause
onTop: Boolean

ReturnValue

Name Description
AddStaticClauses

removeStaticClauses

open fun removeStaticClauses(clauses: Iterable<Clause>): (clauses: Iterable)

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
(clauses: Iterable)

removeStaticClauses

open fun removeStaticClauses(clauses: Sequence<Clause>): RemoveStaticClauses

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
RemoveStaticClauses

removeStaticClauses

open fun removeStaticClauses(vararg clauses: Clause): RemoveStaticClauses

Parameters

Name Description
vararg clauses: Clause

ReturnValue

Name Description
RemoveStaticClauses

resetDynamicKb

open fun resetDynamicKb(clauses: Iterable<Clause>): (clauses: Iterable)

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
(clauses: Iterable)

resetDynamicKb

open fun resetDynamicKb(clauses: Sequence<Clause>): ResetDynamicKb

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
ResetDynamicKb

resetDynamicKb

open fun resetDynamicKb(vararg clauses: Clause): ResetDynamicKb

Parameters

Name Description
vararg clauses: Clause

ReturnValue

Name Description
ResetDynamicKb

addDynamicClauses

open fun addDynamicClauses(clauses: Iterable<Clause>, onTop: Boolean): (clauses: Iterable, onTop: Boolean = false)

Parameters

Name Description
clauses: Iterable<Clause>
onTop: Boolean

ReturnValue

Name Description
(clauses: Iterable, onTop: Boolean = false)

addDynamicClauses

open fun addDynamicClauses(clauses: Sequence<Clause>, onTop: Boolean): (clauses: Sequence, onTop: Boolean = false)

Parameters

Name Description
clauses: Sequence<Clause>
onTop: Boolean

ReturnValue

Name Description
(clauses: Sequence, onTop: Boolean = false)

addDynamicClauses

open fun addDynamicClauses(vararg clauses: Clause, onTop: Boolean): AddDynamicClauses

Parameters

Name Description
vararg clauses: Clause
onTop: Boolean

ReturnValue

Name Description
AddDynamicClauses

removeDynamicClauses

open fun removeDynamicClauses(clauses: Iterable<Clause>): (clauses: Iterable)

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
(clauses: Iterable)

removeDynamicClauses

open fun removeDynamicClauses(clauses: Sequence<Clause>): RemoveDynamicClauses

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
RemoveDynamicClauses

removeDynamicClauses

open fun removeDynamicClauses(vararg clauses: Clause): RemoveDynamicClauses

Parameters

Name Description
vararg clauses: Clause

ReturnValue

Name Description
RemoveDynamicClauses

setFlags

open fun setFlags(flags: Map<String, Term>): (flags: Map)

Parameters

Name Description
flags: Map<String, Term>

ReturnValue

Name Description
(flags: Map)

setFlags

open fun setFlags(vararg flags: Pair<String, Term>): SetFlags

Parameters

Name Description
vararg flags: Pair<String, Term>

ReturnValue

Name Description
SetFlags

setFlag

open fun setFlag(name: String, value: Term): SetFlags

Parameters

Name Description
name: String
value: Term

ReturnValue

Name Description
SetFlags

resetFlags

open fun resetFlags(flags: Map<String, Term>): (flags: Map)

Parameters

Name Description
flags: Map<String, Term>

ReturnValue

Name Description
(flags: Map)

resetFlags

open fun resetFlags(vararg flags: Pair<String, Term>): ResetFlags

Parameters

Name Description
vararg flags: Pair<String, Term>

ReturnValue

Name Description
ResetFlags

clearFlags

open fun clearFlags(names: Iterable<String>): (names: Iterable)

Parameters

Name Description
names: Iterable<String>

ReturnValue

Name Description
(names: Iterable)

clearFlags

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

Parameters

Name Description
names: Sequence<String>

ReturnValue

Name Description
ClearFlags

clearFlags

open fun clearFlags(vararg names: String): ClearFlags

Parameters

Name Description
vararg names: String

ReturnValue

Name Description
ClearFlags

loadLibrary

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

Parameters

Name Description
alias: String
library: Library

ReturnValue

Name Description
LoadLibrary

loadLibrary

open fun loadLibrary(aliasedLibrary: AliasedLibrary): LoadLibrary

Parameters

Name Description
aliasedLibrary: AliasedLibrary

ReturnValue

Name Description
LoadLibrary

unloadLibraries

open fun unloadLibraries(aliases: Iterable<String>): (aliases: Iterable)

Parameters

Name Description
aliases: Iterable<String>

ReturnValue

Name Description
(aliases: Iterable)

unloadLibraries

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

Parameters

Name Description
aliases: Sequence<String>

ReturnValue

Name Description
UnloadLibraries

unloadLibraries

open fun unloadLibraries(vararg aliases: String): UnloadLibraries

Parameters

Name Description
vararg aliases: String

ReturnValue

Name Description
UnloadLibraries

updateLibrary

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

Parameters

Name Description
alias: String
library: Library

ReturnValue

Name Description
UpdateLibrary

updateLibrary

open fun updateLibrary(aliasedLibrary: AliasedLibrary): UpdateLibrary

Parameters

Name Description
aliasedLibrary: AliasedLibrary

ReturnValue

Name Description
UpdateLibrary

resetLibraries

open fun resetLibraries(libraries: Libraries): (libraries: Libraries)

Parameters

Name Description
libraries: Libraries

ReturnValue

Name Description
(libraries: Libraries)

resetLibraries

open fun resetLibraries(libraries: Iterable<AliasedLibrary>): (libraries: Iterable)

Parameters

Name Description
libraries: Iterable<AliasedLibrary>

ReturnValue

Name Description
(libraries: Iterable)

resetLibraries

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

Parameters

Name Description
libraries: Sequence<AliasedLibrary>

ReturnValue

Name Description
ResetLibraries

resetLibraries

open fun resetLibraries(vararg libraries: AliasedLibrary): ResetLibraries

Parameters

Name Description
vararg libraries: AliasedLibrary

ReturnValue

Name Description
ResetLibraries

addLibraries

open fun addLibraries(libraries: Libraries): (libraries: Libraries)

Parameters

Name Description
libraries: Libraries

ReturnValue

Name Description
(libraries: Libraries)

addLibraries

open fun addLibraries(libraries: Iterable<AliasedLibrary>): (libraries: Iterable)

Parameters

Name Description
libraries: Iterable<AliasedLibrary>

ReturnValue

Name Description
(libraries: Iterable)

addLibraries

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

Parameters

Name Description
libraries: Sequence<AliasedLibrary>

ReturnValue

Name Description
AddLibraries

addLibraries

open fun addLibraries(vararg libraries: AliasedLibrary): AddLibraries

Parameters

Name Description
vararg libraries: AliasedLibrary

ReturnValue

Name Description
AddLibraries

setOperators

open fun setOperators(operators: Iterable<Operator>): (operators: Iterable)

Parameters

Name Description
operators: Iterable<Operator>

ReturnValue

Name Description
(operators: Iterable)

setOperators

open fun setOperators(operators: Sequence<Operator>): SetOperators

Parameters

Name Description
operators: Sequence<Operator>

ReturnValue

Name Description
SetOperators

setOperators

open fun setOperators(vararg operators: Operator): SetOperators

Parameters

Name Description
vararg operators: Operator

ReturnValue

Name Description
SetOperators

resetOperators

open fun resetOperators(operators: Iterable<Operator>): (operators: Iterable)

Parameters

Name Description
operators: Iterable<Operator>

ReturnValue

Name Description
(operators: Iterable)

resetOperators

open fun resetOperators(operators: Sequence<Operator>): ResetOperators

Parameters

Name Description
operators: Sequence<Operator>

ReturnValue

Name Description
ResetOperators

resetOperators

open fun resetOperators(vararg operators: Operator): ResetOperators

Parameters

Name Description
vararg operators: Operator

ReturnValue

Name Description
ResetOperators

removeOperators

open fun removeOperators(operators: Iterable<Operator>): (operators: Iterable)

Parameters

Name Description
operators: Iterable<Operator>

ReturnValue

Name Description
(operators: Iterable)

removeOperators

open fun removeOperators(operators: Sequence<Operator>): RemoveOperators

Parameters

Name Description
operators: Sequence<Operator>

ReturnValue

Name Description
RemoveOperators

removeOperators

open fun removeOperators(vararg operators: Operator): RemoveOperators

Parameters

Name Description
vararg operators: Operator

ReturnValue

Name Description
RemoveOperators

openInputChannels

open fun openInputChannels(inputChannels: Map<String, InputChannel<*>>): (inputChannels: Map>)

Parameters

Name Description
inputChannels: Map<String, InputChannel<*>>

ReturnValue

Name Description
(inputChannels: Map>)

openInputChannels

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

Parameters

Name Description
vararg inputChannels: Pair><String, InputChannel<*>>

ReturnValue

Name Description
OpenInputChannels

openInputChannel

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

Parameters

Name Description
name: String
inputChannel: InputChannel<*>

ReturnValue

Name Description
OpenInputChannels

resetInputChannels

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

Parameters

Name Description
vararg inputChannels: Pair><String, InputChannel<*>>

ReturnValue

Name Description
ResetInputChannels

closeInputChannels

open fun closeInputChannels(names: Iterable<String>): (names: Iterable)

Parameters

Name Description
names: Iterable<String>

ReturnValue

Name Description
(names: Iterable)

closeInputChannels

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

Parameters

Name Description
names: Sequence<String>

ReturnValue

Name Description
CloseInputChannels

closeInputChannels

open fun closeInputChannels(vararg names: String): CloseInputChannels

Parameters

Name Description
vararg names: String

ReturnValue

Name Description
CloseInputChannels

openOutputChannels

open fun openOutputChannels(outputChannels: Map<String, OutputChannel<*>>): (outputChannels: Map>)

Parameters

Name Description
outputChannels: Map<String, OutputChannel<*>>

ReturnValue

Name Description
(outputChannels: Map>)

openOutputChannels

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

Parameters

Name Description
vararg outputChannels: Pair><String, OutputChannel<*>>

ReturnValue

Name Description
OpenOutputChannels

openOutputChannel

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

Parameters

Name Description
name: String
outputChannel: OutputChannel<*>

ReturnValue

Name Description
OpenOutputChannels

resetOutputChannels

open fun resetOutputChannels(outputChannels: Map<String, OutputChannel<*>>): (outputChannels: Map>)

Parameters

Name Description
outputChannels: Map<String, OutputChannel<*>>

ReturnValue

Name Description
(outputChannels: Map>)

resetOutputChannels

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

Parameters

Name Description
vararg outputChannels: Pair><String, OutputChannel<*>>

ReturnValue

Name Description
ResetOutputChannels

closeOutputChannels

open fun closeOutputChannels(names: Iterable<String>): (names: Iterable)

Parameters

Name Description
names: Iterable<String>

ReturnValue

Name Description
(names: Iterable)

closeOutputChannels

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

Parameters

Name Description
names: Sequence<String>

ReturnValue

Name Description
CloseOutputChannels

closeOutputChannels

open fun closeOutputChannels(vararg names: String): CloseOutputChannels

Parameters

Name Description
vararg names: String

ReturnValue

Name Description
CloseOutputChannels

CompanionObject

SideEffectFactory

interface SideEffectFactory: Any

Fields

Name Description
val default: SideEffectFactory