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

executionContextDepth

val executionContextDepth: Int?

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