ExecutionContextAware

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

Properties

abstract val dynamicKb: <ERROR CLASS>

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

abstract val flags: FlagStore

Enabled flags

The currently open input channels

Loaded libraries

abstract val operators: <ERROR CLASS>

Loaded operators

The currently open output channels

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

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

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

abstract val staticKb: <ERROR CLASS>

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

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