ClassicExecutionContext

data class ClassicExecutionContext(procedure: Struct?, libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: MutableTheory, operators: OperatorSet, inputChannels: InputStore, outputChannels: OutputStore, customData: CustomDataStore, substitution: Substitution.Unifier, query: Struct, goals: Cursor<out Term>, rules: Cursor<out Rule>, primitives: Cursor<out Solve.Response>, startTime: TimeInstant, maxDuration: TimeDuration, choicePoints: ChoicePointContext?, parent: ClassicExecutionContext?, depth: Int, step: Long) : ExecutionContext

Functions

apply

open override fun apply(sideEffect: SideEffect): ClassicExecutionContext

open override fun apply(sideEffects: Iterable<SideEffect>): ClassicExecutionContext

open override fun apply(sideEffects: Sequence<SideEffect>): ClassicExecutionContext

createMutableSolver

open override fun createMutableSolver(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore): MutableSolver

createSolver

open override fun createSolver(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore): Solver

toString

open override fun toString(): String

update

open override fun update(libraries: Libraries, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, operators: OperatorSet, inputChannels: InputStore, outputChannels: OutputStore, customData: CustomDataStore): ClassicExecutionContext

Properties

choicePoints

val choicePoints: ChoicePointContext? = null

currentGoal

val currentGoal: Term?

customData

open override val customData: CustomDataStore

depth

val depth: Int = 0

dynamicKb

open override val dynamicKb: MutableTheory

flags

open override val flags: FlagStore

goals

val goals: Cursor<out Term>

hasOpenAlternatives

val hasOpenAlternatives: Boolean

inputChannels

open override val inputChannels: InputStore

interestingVariables

val interestingVariables: Set<Var>

isActivationRecord

val isActivationRecord: Boolean

isRoot

val isRoot: Boolean

libraries

open override val libraries: Libraries

logicStackTrace

open override val logicStackTrace: List<Struct>

maxDuration

val maxDuration: TimeDuration

operators

open override val operators: OperatorSet

outputChannels

open override val outputChannels: OutputStore

parent

val parent: ClassicExecutionContext? = null

pathToRoot

val pathToRoot: Sequence<ClassicExecutionContext>

primitives

val primitives: Cursor<out Solve.Response>

procedure

open override val procedure: Struct? = null

query

val query: Struct

rules

val rules: Cursor<out Rule>

standardError

open val standardError: OutputChannel<String>

standardInput

open val standardInput: InputChannel<String>

standardOutput

open val standardOutput: OutputChannel<String>

startTime

val startTime: TimeInstant = 0

staticKb

open override val staticKb: Theory

step

val step: Long = 0

substitution

open override val substitution: Substitution.Unifier

warnings

open val warnings: OutputChannel<Warning>

Extensions

appendPrimitivesAndChoicePoints

fun ClassicExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>): ClassicExecutionContext

appendRulesAndChoicePoints

fun ClassicExecutionContext.appendRulesAndChoicePoints(rules: Cursor<out Rule>): ClassicExecutionContext

createChild

fun ClassicExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingPrimitivesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

replaceWithChild

fun ClassicExecutionContext.replaceWithChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

replaceWithChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

toRequest

fun ClassicExecutionContext.toRequest(goal: Struct, signature: Signature): Solve.Request<ClassicExecutionContext>