Primitives

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

Functions

backtrack

open override fun backtrack(context: ClassicExecutionContext): ClassicExecutionContext

toString

open override fun toString(): String

Properties

alternatives

open override val alternatives: Cursor<out Solve.Response>

depth

open override val depth: Int

executionContext

open override val executionContext: ClassicExecutionContext?

executionContextDepth

val executionContextDepth: Int?

executionContextProcedure

val executionContextProcedure: Struct?

hasOpenAlternatives

val hasOpenAlternatives: Boolean

isRoot

val isRoot: Boolean

parent

open override val parent: ChoicePointContext?

pathToRoot

val pathToRoot: Sequence<ChoicePointContext>