Classic
fun ClassicExecutionContext( procedure: <ERROR CLASS>? = null, libraries: <ERROR CLASS> = Libraries.empty(), flags: <ERROR CLASS> = FlagStore.empty(), staticKb: <ERROR CLASS> = Theory.empty(), dynamicKb: <ERROR CLASS> = MutableTheory.empty(), operators: <ERROR CLASS> = getAllOperators(libraries, staticKb, dynamicKb).toOperatorSet(), inputChannels: <ERROR CLASS> = InputStore.fromStandard(), outputChannels: <ERROR CLASS> = OutputStore.fromStandard(), customData: <ERROR CLASS> = CustomDataStore.empty(), substitution: <ERROR CLASS> = Substitution.empty(), query: <ERROR CLASS> = Truth.TRUE, goals: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), rules: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), primitives: <ERROR CLASS><out <ERROR CLASS>> = Cursor.empty(), startTime: <ERROR CLASS> = 0, maxDuration: <ERROR CLASS> = TimeDuration.MAX_VALUE, choicePoints: ChoicePointContext? = null, parent: ClassicExecutionContext? = null, depth: Int = 0, step: Long = 0)
Content copied to clipboard