ExecutionContextAware

interface ExecutionContextAware: Any

Base type for all entities which must be aware of the current state of a solver

Fields

Name Description
abstract libraries: Libraries

Loaded libraries

abstract flags: PrologFlags

Enabled flags

abstract staticKb: Theory

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

abstract dynamicKb: Theory

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

abstract operators: OperatorSet

Loaded operators

abstract inputChannels: PrologInputChannels<*>

The currently open input channels

abstract outputChannels: PrologOutputChannels<*>

The currently open output channels

open standardInput: InputChannel<String>?

Shortcut for the standard input channel defined in inputChannels, and named as STDIN. Returns null if the channel is closed

open standardOutput: OutputChannel<String>?

Shortcut for the standard output channel defined in outputChannels, and named as STDOUT. Returns null if the channel is closed

open standardError: OutputChannel<String>?

Shortcut for the standard error channel defined in outputChannels, and named as STDERR. Returns null if the channel is closed

open warnings: OutputChannel<PrologWarning>?

Shortcut for the warnings channel defined in outputChannels, and named as WARNINGS. Returns null if the channel is closed

CompanionObject

ExecutionContextAware

interface ExecutionContextAware: Any

Base type for all entities which must be aware of the current state of a solver

Fields

Name Description
const STDIN: String
const STDOUT: String
const STDERR: String
const WARNINGS: String

Methods

defaultInputChannels

fun defaultInputChannels(): PrologInputChannels<*>

ReturnValue

Name Description
PrologInputChannels<*>

defaultOutputChannels

fun defaultOutputChannels(): PrologOutputChannels<*>

ReturnValue

Name Description
PrologOutputChannels<*>