ChoicePointContext

sealed class ChoicePointContext

Types

Primitives

data class Primitives(alternatives: Cursor<out Solve.Response>, executionContext: ClassicExecutionContext?, parent: ChoicePointContext?, depth: Int) : ChoicePointContext

Rules

data class Rules(alternatives: Cursor<out Rule>, executionContext: ClassicExecutionContext?, parent: ChoicePointContext?, depth: Int) : ChoicePointContext

Functions

backtrack

abstract fun backtrack(context: ClassicExecutionContext): ClassicExecutionContext

toString

open override fun toString(): String

Properties

alternatives

open val alternatives: Cursor<out Any>

depth

open val depth: Int = 0

executionContext

open val executionContext: ClassicExecutionContext?

executionContextDepth

val executionContextDepth: Int?

executionContextProcedure

val executionContextProcedure: Struct?

hasOpenAlternatives

val hasOpenAlternatives: Boolean

isRoot

val isRoot: Boolean

parent

open val parent: ChoicePointContext?

pathToRoot

val pathToRoot: Sequence<ChoicePointContext>

Inheritors

ChoicePointContext

ChoicePointContext

Extensions

appendPrimitives

fun ChoicePointContext?.appendPrimitives(alternatives: Cursor<out Solve.Response>, executionContext: ClassicExecutionContext? = null): ChoicePointContext

appendRules

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

nextDepth

fun ChoicePointContext?.nextDepth(): Int