LotSizingDataModel.Checker 2.0.1
Reusable validation engine for structural, mathematical and objective consistency checks.
Loading...
Searching...
No Matches
SolutionVerificationBatchProgress.cs
Go to the documentation of this file.
2
3/// <summary>
4/// Reports deterministic progress information for a running batch-verification
5/// operation.
6/// </summary>
8{
9 /// <summary>
10 /// Gets the total number of candidates in the materialized batch.
11 /// </summary>
13 {
14 get;
15 init;
16 }
17
18 /// <summary>
19 /// Gets the number of candidates whose verification attempt has completed.
20 /// </summary>
22 {
23 get;
24 init;
25 }
26
27 /// <summary>
28 /// Gets the zero-based index of the most recently completed candidate, or
29 /// <c>-1</c> before any candidate has completed.
30 /// </summary>
32 {
33 get;
34 init;
35 } = -1;
36
37 /// <summary>
38 /// Gets the stable key of the most recently completed candidate.
39 /// </summary>
41 {
42 get;
43 init;
44 }
45
46 /// <summary>
47 /// Gets whether the most recently completed candidate finished without an
48 /// unexpected execution exception.
49 /// </summary>
51 {
52 get;
53 init;
54 }
55
56 /// <summary>
57 /// Gets whether the most recently completed candidate passed every
58 /// requested check when execution succeeded.
59 /// </summary>
61 {
62 get;
63 init;
64 }
65}
Reports deterministic progress information for a running batch-verification operation.
int LastCompletedCandidateIndex
Gets the zero-based index of the most recently completed candidate, or -1 before any candidate has co...
int TotalCandidateCount
Gets the total number of candidates in the materialized batch.
bool? LastCandidateIsValid
Gets whether the most recently completed candidate passed every requested check when execution succee...
string? LastCompletedCandidateKey
Gets the stable key of the most recently completed candidate.
bool? LastExecutionSucceeded
Gets whether the most recently completed candidate finished without an unexpected execution exception...
int CompletedCandidateCount
Gets the number of candidates whose verification attempt has completed.