LotSizingDataModel.Checker 2.0.1
Reusable validation engine for structural, mathematical and objective consistency checks.
Loading...
Searching...
No Matches
SolutionCheckSummary.cs
Go to the documentation of this file.
2
4
5/// <summary>
6/// Provides a compact machine-oriented summary of one solution check.
7/// </summary>
8public sealed class SolutionCheckSummary
9{
10 /// <summary>
11 /// Gets or sets the checking level requested for the candidate.
12 /// </summary>
14 {
15 get;
16 set;
17 }
18
19 /// <summary>
20 /// Gets or sets whether every requested check passed.
21 /// </summary>
22 public bool IsValid
23 {
24 get;
25 set;
26 }
27
28 /// <summary>
29 /// Gets or sets the structural-stage status.
30 /// </summary>
32 {
33 get;
34 set;
35 }
36
37 /// <summary>
38 /// Gets or sets the variable-domain-stage status.
39 /// </summary>
41 {
42 get;
43 set;
44 }
45
46 /// <summary>
47 /// Gets or sets the mathematical-feasibility-stage status.
48 /// </summary>
50 {
51 get;
52 set;
53 }
54
55 /// <summary>
56 /// Gets or sets the objective-check-stage status.
57 /// </summary>
59 {
60 get;
61 set;
62 }
63
64 /// <summary>
65 /// Gets or sets the total number of diagnostics.
66 /// </summary>
67 public int IssueCount
68 {
69 get;
70 set;
71 }
72
73 /// <summary>
74 /// Gets or sets the number of informational diagnostics.
75 /// </summary>
77 {
78 get;
79 set;
80 }
81
82 /// <summary>
83 /// Gets or sets the number of warning diagnostics.
84 /// </summary>
85 public int WarningCount
86 {
87 get;
88 set;
89 }
90
91 /// <summary>
92 /// Gets or sets the number of error diagnostics.
93 /// </summary>
94 public int ErrorCount
95 {
96 get;
97 set;
98 }
99
100 /// <summary>
101 /// Gets or sets issue counts grouped by issue category.
102 /// </summary>
103 public List<SolutionCheckIssueCount> IssueCountsByKind
104 {
105 get;
106 set;
107 } = new();
108
109 /// <summary>
110 /// Gets or sets the number of violated mathematical constraints.
111 /// </summary>
113 {
114 get;
115 set;
116 }
117
118 /// <summary>
119 /// Gets or sets the largest mathematical-constraint violation.
120 /// </summary>
122 {
123 get;
124 set;
125 }
126
127 /// <summary>
128 /// Gets or sets the sum of mathematical-constraint violations.
129 /// </summary>
131 {
132 get;
133 set;
134 }
135
136 /// <summary>
137 /// Gets or sets the objective value reported by the candidate.
138 /// </summary>
140 {
141 get;
142 set;
143 }
144
145 /// <summary>
146 /// Gets or sets the objective value independently recomputed by the
147 /// checker.
148 /// </summary>
150 {
151 get;
152 set;
153 }
154
155 /// <summary>
156 /// Gets or sets the absolute objective difference.
157 /// </summary>
158 public double? ObjectiveDifference
159 {
160 get;
161 set;
162 }
163
164 /// <summary>
165 /// Gets or sets the relative objective difference.
166 /// </summary>
168 {
169 get;
170 set;
171 }
172
173 /// <summary>
174 /// Gets or sets the effective objective comparison tolerance.
175 /// </summary>
177 {
178 get;
179 set;
180 }
181}
Provides a compact machine-oriented summary of one solution check.
SolutionCheckLevel Level
Gets or sets the checking level requested for the candidate.
SolutionCheckStageStatus ObjectiveStatus
Gets or sets the objective-check-stage status.
int InformationCount
Gets or sets the number of informational diagnostics.
SolutionCheckStageStatus StructuralStatus
Gets or sets the structural-stage status.
double? ObjectiveDifference
Gets or sets the absolute objective difference.
double? ObjectiveComparisonTolerance
Gets or sets the effective objective comparison tolerance.
int ErrorCount
Gets or sets the number of error diagnostics.
int IssueCount
Gets or sets the total number of diagnostics.
int ViolatedConstraintCount
Gets or sets the number of violated mathematical constraints.
double? ObjectiveRelativeDifference
Gets or sets the relative objective difference.
int WarningCount
Gets or sets the number of warning diagnostics.
double? ReportedObjectiveValue
Gets or sets the objective value reported by the candidate.
double? RecomputedObjectiveValue
Gets or sets the objective value independently recomputed by the checker.
SolutionCheckStageStatus FeasibilityStatus
Gets or sets the mathematical-feasibility-stage status.
double TotalConstraintViolation
Gets or sets the sum of mathematical-constraint violations.
List< SolutionCheckIssueCount > IssueCountsByKind
Gets or sets issue counts grouped by issue category.
bool IsValid
Gets or sets whether every requested check passed.
SolutionCheckStageStatus VariableDomainStatus
Gets or sets the variable-domain-stage status.
double MaximumConstraintViolation
Gets or sets the largest mathematical-constraint violation.
SolutionCheckLevel
Defines how deeply a lot-sizing solution must be checked.
SolutionCheckStageStatus
Describes the execution and outcome of one logical checker stage.