gui/it.unibo.tuprolog.ui.gui.solver/SolverSignal/Diagnostics

Diagnostics

data class Diagnostics(val diagnostics: List<Diagnostic>) : SolverSignal

Static/syntax diagnostics produced alongside the resolution (e.g. re-checking the source).

Constructors

Link copied to clipboard
constructor(diagnostics: List<Diagnostic>)

Properties

Link copied to clipboard
Generated by Dokka
© 2026 Copyright