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

onResolutionOver

abstract val onResolutionOver: EventStream<SolverEvent<Int>>

Fired right after a resolution step finishes computing, carrying the 1-based index of the solution just produced.

Generated by Dokka
© 2026 Copyright