End

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

The resolution is exhausted: no further solutions exist.

Constructors

constructor(signals: List<SolverSignal> = emptyList())

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