Rules

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

A choice point recording the remaining candidate Rules of a clause resolution attempt.

Constructors

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

open override val alternatives: Cursor<out Rule>

open override val depth: Int

Whether this choice point, or any of its ancestors along pathToRoot, still has an alternative to try.

Whether this is the first choice point of a resolution (i.e. it has no parent).

This choice point and all its ancestors, from here up to (and including) the root, in that order.

Chains a new ChoicePointContext.Primitives recording alternatives onto this (null meaning "the root").

Chains a new ChoicePointContext.Rules recording alternatives onto this (null meaning "the root").

Resumes this choice point: restores its saved executionContext (carrying over context's current step counter, flags and knowledge bases), advances alternatives to the next one, and returns the resulting ClassicExecutionContext, ready to be handed to it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution or it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution depending on the concrete subtype.

The ChoicePointContext.depth a new choice point chained onto this one (or null, for the root) would have.

open override fun toString(): String