solve-classic/it.unibo.tuprolog.solve.classic/ClassicExecutionContext

ClassicExecutionContext

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

Constructors

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)

Functions

apply

open fun apply(sideEffect: <ERROR CLASS>): ClassicExecutionContext

open fun apply(sideEffects: Iterable<<ERROR CLASS>>): ClassicExecutionContext

open fun apply(sideEffects: Sequence<<ERROR CLASS>>): ClassicExecutionContext

createMutableSolver

open fun createMutableSolver( libraries: <ERROR CLASS>, flags: <ERROR CLASS>, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, inputChannels: <ERROR CLASS>, outputChannels: <ERROR CLASS>): <ERROR CLASS>

createSolver

open fun createSolver( libraries: <ERROR CLASS>, flags: <ERROR CLASS>, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, inputChannels: <ERROR CLASS>, outputChannels: <ERROR CLASS>): <ERROR CLASS>

toString

open override fun toString(): String

update

open fun update( libraries: <ERROR CLASS>, flags: <ERROR CLASS>, staticKb: <ERROR CLASS>, dynamicKb: <ERROR CLASS>, operators: <ERROR CLASS>, inputChannels: <ERROR CLASS>, outputChannels: <ERROR CLASS>, customData: <ERROR CLASS>): ClassicExecutionContext