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

SolutionProduced

data class SolutionProduced(val pageId: PageId, val resolutionId: ResolutionSessionId, val solution: SolutionPresentation) : GuiEvent

A resolution yielded one more solution.

Constructors

Link copied to clipboard
constructor(pageId: PageId, resolutionId: ResolutionSessionId, solution: SolutionPresentation)

Properties

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