gui/it.unibo.tuprolog.ui.gui.controller/GuiEvent/SolverSessionBuilding

SolverSessionBuilding

data class SolverSessionBuilding(val pageId: PageId, val profileId: SolverProfileId) : GuiEvent

A page started building a new solver session for profileId (e.g. after switching profiles).

Constructors

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

Properties

Link copied to clipboard
val pageId: PageId
Link copied to clipboard
Generated by Dokka
© 2026 Copyright