solve/it.unibo.tuprolog.solve/ExecutionContext

ExecutionContext

interface ExecutionContext : ExecutionContextAware
Content copied to clipboard

An interface representing the Solver execution context, containing important information that determines its behaviour

Functions

Link copied to clipboard
open fun apply(sideEffect: SideEffect): ExecutionContext
Content copied to clipboard
open fun apply(sideEffects: Iterable<SideEffect>): ExecutionContext
Content copied to clipboard
open fun apply(sideEffects: Sequence<SideEffect>): ExecutionContext
Content copied to clipboard
Link copied to clipboard
abstract fun createMutableSolver(    libraries: Libraries = this.libraries,     flags: FlagStore = this.flags,     staticKb: <ERROR CLASS> = this.staticKb,     dynamicKb: <ERROR CLASS> = this.dynamicKb,     inputChannels: InputStore = this.inputChannels,     outputChannels: OutputStore = this.outputChannels): MutableSolver
Content copied to clipboard
Link copied to clipboard
abstract fun createSolver(    libraries: Libraries = this.libraries,     flags: FlagStore = this.flags,     staticKb: <ERROR CLASS> = this.staticKb,     dynamicKb: <ERROR CLASS> = this.dynamicKb,     inputChannels: InputStore = this.inputChannels,     outputChannels: OutputStore = this.outputChannels): Solver
Content copied to clipboard
Link copied to clipboard
abstract fun update(    libraries: Libraries = this.libraries,     flags: FlagStore = this.flags,     staticKb: <ERROR CLASS> = this.staticKb,     dynamicKb: <ERROR CLASS> = this.dynamicKb,     operators: <ERROR CLASS> = this.operators,     inputChannels: InputStore = this.inputChannels,     outputChannels: OutputStore = this.outputChannels,     customData: CustomDataStore = this.customData): ExecutionContext
Content copied to clipboard

Properties

Link copied to clipboard
abstract val customData: CustomDataStore
Content copied to clipboard
Link copied to clipboard
abstract val dynamicKb: <ERROR CLASS>
Content copied to clipboard

Dynamic Knowledge-base, that is a KB that can change executing goals

Link copied to clipboard
abstract val flags: FlagStore
Content copied to clipboard

Enabled flags

Link copied to clipboard
abstract val inputChannels: InputStore
Content copied to clipboard

The currently open input channels

Link copied to clipboard
abstract val libraries: Libraries
Content copied to clipboard

Loaded libraries

Link copied to clipboard
abstract val logicStackTrace: List<<ERROR CLASS>>
Content copied to clipboard

The Prolog call stacktrace till this ExecutionContext

Link copied to clipboard
abstract val operators: <ERROR CLASS>
Content copied to clipboard

Loaded operators

Link copied to clipboard
abstract val outputChannels: OutputStore
Content copied to clipboard

The currently open output channels

Link copied to clipboard
abstract val procedure: <ERROR CLASS>?
Content copied to clipboard

The current procedure being executed

Link copied to clipboard
open val standardError: OutputChannel<String>
Content copied to clipboard

Shortcut for the standard error channel defined in outputChannels. Returns null if the channel is closed

Link copied to clipboard
open val standardInput: InputChannel<String>
Content copied to clipboard

Shortcut for the standard input channel defined in inputChannels. Returns null if the channel is closed

Link copied to clipboard
open val standardOutput: OutputChannel<String>
Content copied to clipboard

Shortcut for the standard output channel defined in outputChannels. Returns null if the channel is closed

Link copied to clipboard
abstract val staticKb: <ERROR CLASS>
Content copied to clipboard

Static Knowledge-base, that is a KB that can't change executing goals

Link copied to clipboard
abstract val substitution: <ERROR CLASS>
Content copied to clipboard

The set of current substitution till this context

Link copied to clipboard
open val warnings: OutputChannel<Warning>
Content copied to clipboard

Shortcut for the warnings channel defined in outputChannels. Returns null if the channel is closed