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

ChangeSolverProfile

data class ChangeSolverProfile(val pageId: PageId, val profileId: SolverProfileId) : PageAction

Switches the solver profile a page resolves queries against, invalidating its current session.

Constructors

Link copied to clipboard
constructor(pageId: PageId, profileId: SolverProfileId)

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