AbstractClassicSolver

fun AbstractClassicSolver(libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), staticKb: Theory = Theory.empty(), dynamicKb: Theory = MutableTheory.empty(), stdIn: InputChannel<String> = InputChannel.stdIn(), stdOut: OutputChannel<String> = OutputChannel.stdOut(), stdErr: OutputChannel<String> = OutputChannel.stdErr(), warnings: OutputChannel<Warning> = OutputChannel.warn(), trustKb: Boolean = false)

Content copied to clipboard

fun AbstractClassicSolver(libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), initialStaticKb: Theory = Theory.empty(), initialDynamicKb: Theory = MutableTheory.empty(), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), trustKb: Boolean = false)

Content copied to clipboard