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

executionContextProcedure

val executionContextProcedure: Struct?

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

Generated by Dokka
© 2026 Copyright