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

Solve

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

Starts resolving the page's current query, requesting up to mode's solution count.

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