core/dev.gmitch215.drift.lab/SolveNext

SolveNext

Maps the reason a solve stopped to the steps that would settle the cause. A solve that stops without a verdict on the cause says what to run next; STUCK is kept for a certificate that has no step to give, and SolveNext.none says why.

Properties

BUDGET

const val BUDGET: String

CAPTURE

const val CAPTURE: String

MANUAL

const val MANUAL: String

PILOT

const val PILOT: String

RERUN

const val RERUN: String

UNMIRRORED

const val UNMIRRORED: String

Functions

none

fun none(c: NextContext): String

Why a STUCK certificate has no step, for a reason that steps answered with none.

resolve

fun resolve(v: SolveVerdict, c: NextContext): SolveVerdict

v as a NEEDS verdict with its steps, or as STUCK with the reason there is none.

steps

fun steps(c: NextContext): List<NextStep>