gui/it.unibo.tuprolog.ui.gui.solver/ResolutionStep/Failed

Failed

data class Failed(val message: String, val causeType: String? = null, val signals: List<SolverSignal> = emptyList()) : ResolutionStep

The resolution could not proceed, e.g. a parse or solver-internal error rather than a normal "no".

Constructors

constructor(message: String, causeType: String? = null, signals: List<SolverSignal> = emptyList())

Properties

val causeType: String?

val message: String

open override val signals: List<SolverSignal>

Output produced (e.g. to stdout/stderr) while computing this step, in emission order.