ide/it.unibo.tuprolog.ui.gui/SolutionView/Companion

Companion

object Companion

Properties

val COLOR_HALT: Paint

Led color used for a Solution.Halt not caused by a timeout (HaltView).

val COLOR_NO: Paint

Led color used for Solution.No (NoView).

val COLOR_TIMEOUT: Paint

Led color used for a Solution.Halt caused by it.unibo.tuprolog.solve.exception.TimeOutException (HaltView).

val COLOR_YES: Paint

Led color used for Solution.Yes (YesView).

Functions

fun of(solution: Solution): SolutionView<*, *>

Builds the SolutionView subclass (YesView, NoView, or HaltView) matching the kind of solution.