Abstract
fun AbstractSolver( libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), initialStaticKb: <ERROR CLASS> = Theory.empty(), initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), trustKb: Boolean = false)
Content copied to clipboard