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

onNewSolution

abstract val onNewSolution: EventStream<SolverEvent<Solution>>

Fired every time a new Solution (yes/no/halt) is produced by solve, solveAll, next, or nextAll.