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

SolverSessionReady

data class SolverSessionReady(val pageId: PageId, val sessionId: SolverSessionId) : GuiEvent

A page's new solver session finished building and is ready to resolve queries.

Constructors

Link copied to clipboard
constructor(pageId: PageId, sessionId: SolverSessionId)

Properties

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