solve/it.unibo.tuprolog.solve/ExecutionContext/createMutableSolver

createMutableSolver

abstract fun createMutableSolver(    libraries: Libraries = this.libraries,     flags: FlagStore = this.flags,     staticKb: <ERROR CLASS> = this.staticKb,     dynamicKb: <ERROR CLASS> = this.dynamicKb,     inputChannels: InputStore = this.inputChannels,     outputChannels: OutputStore = this.outputChannels): MutableSolver
Content copied to clipboard