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

executionContextDepth

val executionContextDepth: Int?

Shorthand for executionContext's ClassicExecutionContext.depth, or null if executionContext is null.