solve-classic/it.unibo.tuprolog.solve.classic/nextDepth

nextDepth

fun ChoicePointContext?.nextDepth(): Int
Content copied to clipboard