solve-classic
0.20.9
solve-classic
/
it.unibo.tuprolog.solve.classic
/
ChoicePointContext
/
executionContextDepth
execution
Context
Depth
val
executionContextDepth
:
Int
?
Content copied to clipboard