Solver
data class SolverMemberResult(val memberIndex: Int, val label: String, val bestSolution: Solution, val numOracleCalls: Int, val numReplicationsRequested: Int, val solverResult: SolverResult?, val status: MemberStatus, val error: Throwable? = null)(source)
The result of one member of a concurrent solver run, captured on the member's worker after its solver finished (or failed). Results are safe to read once obtained from the runner: the await establishes the necessary happens-before ordering.
Parameters
member
the 0-based index of the member within the run
label
the member's label
best
the best solution the member found; the problem's bad solution when the member failed or never ran
num
the member solver's cumulative oracle-call count
num
the member solver's cumulative requested replications
solver
the member solver's full result record, when the solver was created and ran; null when the member never ran
status
the member's lifecycle outcome
error
the failure cause when status is FAILED; null otherwise
Constructors
Link copied to clipboard
constructor(memberIndex: Int, label: String, bestSolution: Solution, numOracleCalls: Int, numReplicationsRequested: Int, solverResult: SolverResult?, status: MemberStatus, error: Throwable? = null)