ExecutionContextAware

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: FlagStore`	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: InputStore`	The currently open input channels
`abstract outputChannels: OutputStore`	The currently open output channels
`open standardInput: InputChannel<String>`	Shortcut for the standard input channel defined in inputChannels. Returns `null` if the channel is closed
`open standardOutput: OutputChannel<String>`	Shortcut for the standard output channel defined in outputChannels. Returns `null` if the channel is closed
`open standardError: OutputChannel<String>`	Shortcut for the standard error channel defined in outputChannels. Returns `null` if the channel is closed
`open warnings: OutputChannel<Warning>`	Shortcut for the warnings channel defined in outputChannels. Returns `null` if the channel is closed