ide-plp/it.unibo.tuprolog.ui.gui/PLPSolutionView/Companion

Companion

object Companion

Properties

val COLOR_HALT: Paint

Led color used for a Solution.Halt not caused by a timeout (HaltViewPLP); same as SolutionView.COLOR_HALT.

val COLOR_NO: Paint

Led color used for Solution.No (NoViewPLP); same as SolutionView.COLOR_NO.

val COLOR_TIMEOUT: Paint

Led color used for a Solution.Halt caused by it.unibo.tuprolog.solve.exception.TimeOutException (HaltViewPLP); same as SolutionView.COLOR_TIMEOUT.

val COLOR_YES: Paint

Led color used for Solution.Yes (YesViewPLP); same as SolutionView.COLOR_YES.

Functions

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

Builds the PLPSolutionView subclass (YesViewPLP, NoViewPLP, or HaltViewPLP) matching the kind of solution.