Abstract
abstract class 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
Constructors
Link copied to clipboard
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
Link 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
Functions
Link copied to clipboard
Link copied to clipboard
abstract fun copy( libraries: <ERROR CLASS>, flags: <ERROR CLASS>, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, stdIn: <ERROR CLASS><String>, stdOut: <ERROR CLASS><String>, stdErr: <ERROR CLASS><String>, warnings: <ERROR CLASS><<ERROR CLASS>>): AbstractClassicSolver
Content copied to clipboard
Link copied to clipboard
fun initializeContext( libraries: <ERROR CLASS>, flags: <ERROR CLASS>, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, operators: <ERROR CLASS>, inputChannels: <ERROR CLASS>, outputChannels: <ERROR CLASS>, trustKb: Boolean): ClassicExecutionContext
Content copied to clipboard