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

next

abstract fun next()

Computes and publishes (via onNewSolution) the next solution of the resolution started by solve/solveAll.

Throws

IllegalStateException

if state is not State.SOLUTION.