update
abstract fun update(unificator: Unificator = this.unificator, libraries: Runtime = this.libraries, flags: FlagStore = this.flags, staticKb: Theory = this.staticKb, dynamicKb: Theory = this.dynamicKb, operators: OperatorSet = this.operators, inputChannels: InputStore = this.inputChannels, outputChannels: OutputStore = this.outputChannels, customData: CustomDataStore = this.customData): ExecutionContext
Returns a new ExecutionContext, identical to this one except for every explicitly-provided argument, which replaces the corresponding piece of state. Arguments left unspecified default to this context's current value.