solve/it.unibo.tuprolog.solve/SolverFactory/solverOf

solverOf

abstract fun solverOf(    libraries: Libraries = defaultLibraries,     flags: FlagStore = defaultFlags,     staticKb: <ERROR CLASS> = defaultStaticKb,     dynamicKb: <ERROR CLASS> = defaultDynamicKb,     stdIn: InputChannel<String> = defaultInputChannel,     stdOut: OutputChannel<String> = defaultOutputChannel,     stdErr: OutputChannel<String> = defaultErrorChannel,     warnings: OutputChannel<Warning> = defaultWarningsChannel): Solver
Content copied to clipboard
open fun solverOf(    libraries: Libraries,     staticKb: <ERROR CLASS>,     dynamicKb: <ERROR CLASS>): Solver
Content copied to clipboard
open fun solverOf(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): Solver
Content copied to clipboard
open fun solverOf(staticKb: <ERROR CLASS>): Solver
Content copied to clipboard
open fun solverOf(libraries: Libraries, staticKb: <ERROR CLASS>): Solver
Content copied to clipboard
open fun solverOf(libraries: Libraries): Solver
Content copied to clipboard
open fun solverOf(): Solver
Content copied to clipboard