classic

fun Solver.Companion.classic(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultDynamicKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): Solver

Content copied to clipboard

fun MutableSolver.Companion.classic(libraries: Libraries = ClassicSolverFactory.defaultLibraries, flags: FlagStore = ClassicSolverFactory.defaultFlags, staticKb: Theory = ClassicSolverFactory.defaultStaticKb, dynamicKb: Theory = ClassicSolverFactory.defaultDynamicKb, stdIn: InputChannel<String> = ClassicSolverFactory.defaultInputChannel, stdOut: OutputChannel<String> = ClassicSolverFactory.defaultOutputChannel, stdErr: OutputChannel<String> = ClassicSolverFactory.defaultErrorChannel, warnings: OutputChannel<Warning> = ClassicSolverFactory.defaultWarningsChannel): MutableSolver

Content copied to clipboard