ExecutionContextAware

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

Properties

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

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: Theory

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