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

COLOR_TIMEOUT

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.