Abstract
fun AbstractClassicSolver( libraries: <ERROR CLASS> = Libraries.empty(), flags: <ERROR CLASS> = FlagStore.empty(), staticKb: <ERROR CLASS> = Theory.empty(), dynamicKb: <ERROR CLASS> = MutableTheory.empty(), stdIn: <ERROR CLASS><String> = InputChannel.stdIn(), stdOut: <ERROR CLASS><String> = OutputChannel.stdOut(), stdErr: <ERROR CLASS><String> = OutputChannel.stdErr(), warnings: <ERROR CLASS><<ERROR CLASS>> = OutputChannel.warn(), trustKb: Boolean = false)
Content copied to clipboard
fun AbstractClassicSolver( libraries: <ERROR CLASS> = Libraries.empty(), flags: <ERROR CLASS> = FlagStore.empty(), initialStaticKb: <ERROR CLASS> = Theory.empty(), initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(), inputChannels: <ERROR CLASS> = InputStore.fromStandard(), outputChannels: <ERROR CLASS> = OutputStore.fromStandard(), trustKb: Boolean = false)
Content copied to clipboard