gui/it.unibo.tuprolog.ui.gui.controller/PageAction/Next

Next

data class Next(val pageId: PageId, val mode: ConsumptionMode = ConsumptionMode.ONE) : PageAction

Continues an in-progress resolution that's awaiting continuation, requesting up to mode more solutions.

Constructors

Link copied to clipboard
constructor(pageId: PageId, mode: ConsumptionMode = ConsumptionMode.ONE)

Properties

Link copied to clipboard
Link copied to clipboard
open override val pageId: PageId

The page this action applies to.

Generated by Dokka
© 2026 Copyright