ide/it.unibo.tuprolog.ui.gui/TuPrologIDEModel/onResolutionStarted

onResolutionStarted

abstract val onResolutionStarted: EventStream<SolverEvent<Int>>

Fired right before a resolution step starts computing, carrying the 1-based index of the solution being sought.

Generated by Dokka
© 2026 Copyright