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

ResolutionStep

One observable outcome of advancing a ResolutionCursor: either another solution (Yield), exhaustion (End), or an unrecoverable error (Failed) - always carrying whatever I/O signals the solver emitted meanwhile.

Inheritors

Yield

End

Failed

Types

End

data class End(val signals: List<SolverSignal> = emptyList()) : ResolutionStep

The resolution is exhausted: no further solutions exist.

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".

Yield

data class Yield(val solution: SolutionPresentation, val hasMorePotentially: Boolean, val signals: List<SolverSignal> = emptyList(), val featureStateReplacements: Map<FeatureId, Map<String, FeatureValue>> = emptyMap()) : ResolutionStep

A solution was found; hasMorePotentially says whether requesting another step could yield more.

Properties

signals

abstract val signals: List<SolverSignal>

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