classic
fun <ERROR CLASS>.classicWithDefaultBuiltins( libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries, flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags, staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultStaticKb, dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel, stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel, stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel, warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>
Content copied to clipboard
fun <ERROR CLASS>.classicWithDefaultBuiltins( libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries, flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags, staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultStaticKb, dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb, stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel, stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel, stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel, warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>
Content copied to clipboard