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

ChoicePointContext

sealed class ChoicePointContext

Types

data class Primitives( val alternatives: <ERROR CLASS><out <ERROR CLASS>>, val executionContext: ClassicExecutionContext?, val parent: ChoicePointContext?, val depth: Int) : ChoicePointContext

data class Rules( val alternatives: <ERROR CLASS><out <ERROR CLASS>>, val executionContext: ClassicExecutionContext?, val parent: ChoicePointContext?, val depth: Int) : ChoicePointContext

Functions

abstract fun backtrack(context: ClassicExecutionContext): ClassicExecutionContext

open override fun toString(): String

Properties

open val alternatives: <ERROR CLASS><out Any>

open val depth: Int = 0

executionContext

open val executionContext: ClassicExecutionContext?

executionContextDepth

val executionContextDepth: Int?

executionContextProcedure

val executionContextProcedure: <ERROR CLASS>?

hasOpenAlternatives

val hasOpenAlternatives: Boolean

val isRoot: Boolean

open val parent: ChoicePointContext?

val pathToRoot: Sequence<ChoicePointContext>

Inheritors

Extensions

appendPrimitives

fun ChoicePointContext?.appendPrimitives(alternatives: <ERROR CLASS><out <ERROR CLASS>>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

fun ChoicePointContext?.appendRules(alternatives: <ERROR CLASS><out <ERROR CLASS>>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

fun ChoicePointContext?.nextDepth(): Int