mutable
open fun mutableSolverWithDefaultBuiltins( otherLibraries: 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): MutableSolver
Content copied to clipboard
open fun mutableSolverWithDefaultBuiltins( otherLibraries: Libraries, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver
Content copied to clipboard
open fun mutableSolverWithDefaultBuiltins(staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>): MutableSolver
Content copied to clipboard
open fun mutableSolverWithDefaultBuiltins(staticKb: <ERROR CLASS>): MutableSolver
Content copied to clipboard
open fun mutableSolverWithDefaultBuiltins(otherLibraries: Libraries): MutableSolver
Content copied to clipboard