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

ChangeTimeout

data class ChangeTimeout(val pageId: PageId, val timeout: Duration) : PageAction

Changes how long a resolution on this page may run before timing out.

Constructors

Link copied to clipboard
constructor(pageId: PageId, timeout: Duration)

Properties

Link copied to clipboard
open override val pageId: PageId

The page this action applies to.

Link copied to clipboard
Generated by Dokka
© 2026 Copyright