gui/it.unibo.tuprolog.ui.gui.presentation/FlagPresentation

FlagPresentation

data class FlagPresentation(val name: String, val value: String, val help: String = "")

One solver flag's current value, already formatted as display-ready text.

Constructors

FlagPresentation

constructor(name: String, value: String, help: String = "")

Properties

val help: String

Markdown documentation, for a it.unibo.tuprolog.solve.flags.NotableFlag; blank otherwise.

val name: String

val value: String