SolveVerdict
data class SolveVerdict(val kind: VerdictKind, val why: StuckWhy?, val statement: String, val set: List<String> = emptyList(), val members: List<String> = emptyList(), val notIsolated: List<String> = emptyList(), val mechanism: String? = null, val candidates: List<String> = emptyList(), val next: String? = null, val necessary: List<String> = emptyList(), val sufficient: List<String> = emptyList(), val steps: List<NextStep> = emptyList())(source)
The outcome of a solve. SolveVerdict.set is the minimal causal set (hypothesis ids), SolveVerdict.members the attributes the arms differ in, SolveVerdict.notIsolated the members of a bundle that no arm has pulled apart; SolveVerdict.steps what would settle a NEEDS verdict; SolveVerdict.necessary and SolveVerdict.sufficient the members of a bundle that a removal or a single-member experiment showed the failure needs or follows; SolveVerdict.candidates and SolveVerdict.next are for NARROWED.
Constructors
Link copied to clipboard
constructor(kind: VerdictKind, why: StuckWhy?, statement: String, set: List<String> = emptyList(), members: List<String> = emptyList(), notIsolated: List<String> = emptyList(), mechanism: String? = null, candidates: List<String> = emptyList(), next: String? = null, necessary: List<String> = emptyList(), sufficient: List<String> = emptyList(), steps: List<NextStep> = emptyList())