core/dev.gmitch215.drift.lab/NextContext

NextContext

class NextContext(val reason: StuckWhy, val detail: String, val options: SolveOptions, val caseDir: String, val unmirrored: List<String>, val candidates: List<String>)(source)

What SolveNext needs to know about a solve that could not settle the cause.

Constructors

constructor(reason: StuckWhy, detail: String, options: SolveOptions, caseDir: String, unmirrored: List<String>, candidates: List<String>)

Properties

val candidates: List<String>

val caseDir: String

val detail: String

val options: SolveOptions

val reason: StuckWhy

val unmirrored: List<String>