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

Rules

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

Constructors

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

Functions

open override fun backtrack(context: ClassicExecutionContext): ClassicExecutionContext

open override fun toString(): String

Properties

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

open override val depth: Int

executionContext

open override val executionContext: ClassicExecutionContext?

executionContextDepth

val executionContextDepth: Int?

executionContextProcedure

val executionContextProcedure: <ERROR CLASS>?

hasOpenAlternatives

val hasOpenAlternatives: Boolean

val isRoot: Boolean

open override val parent: ChoicePointContext?

val pathToRoot: Sequence<ChoicePointContext>