Enumerations
enum	SolutionCheckIssueKind { Unknown = 0 , Structural = 1 , VariableDomain = 2 , MissingVariableValue = 3 , ConstraintViolation = 4 , ObjectiveMismatch = 5 , CheckFailure = 6 }
	Identifies the category of an issue detected while checking a solution. More...
enum	SolutionCheckLevel { Structural = 0 , Feasibility = 1 , Full = 2 }
	Defines how deeply a lot-sizing solution must be checked. More...
enum	SolutionCheckSeverity { Information = 0 , Warning = 1 , Error = 2 }
	Defines the severity of a solution-check issue. More...
enum	SolutionCheckStageStatus { NotRequested = 0 , NotCompleted = 1 , Passed = 2 , Failed = 3 }
	Describes the execution and outcome of one logical checker stage. More...

Enumeration Type Documentation

◆ SolutionCheckIssueKind

Identifies the category of an issue detected while checking a solution.

Enumerator
Unknown	The issue could not be classified more precisely.
Structural	The solution structure is inconsistent with the instance.
VariableDomain	A decision value violates its numerical domain.
MissingVariableValue	A mathematical variable required by the model has no candidate value.
ConstraintViolation	A mathematical constraint is violated.
ObjectiveMismatch	The recomputed objective is inconsistent with a reported value.
CheckFailure	A requested check could not be completed.

Definition at line 6 of file SolutionCheckIssueKind.cs.

Defines how deeply a lot-sizing solution must be checked.

Enumerator
Structural	Checks only the structural consistency of the solution.
Feasibility	Checks structure, numerical domains, and mathematical feasibility.
Full	Performs all available checks, including objective-value verification.

Definition at line 6 of file SolutionCheckLevel.cs.

Defines the severity of a solution-check issue.

Enumerator
Information	Informational diagnostic.
Warning	Warning that does not by itself invalidate the solution.
Error	Error that invalidates at least one checked property of the solution.

Definition at line 6 of file SolutionCheckSeverity.cs.

Describes the execution and outcome of one logical checker stage.

Enumerator
NotRequested	The stage was not requested by the selected checking level.
NotCompleted	The stage was requested but could not be executed to completion.
Passed	The stage completed and its checked conditions were satisfied.
Failed	The stage completed and at least one checked condition failed.

Definition at line 6 of file SolutionCheckStageStatus.cs.

	LotSizingDataModel.Checker 2.0.1 Reusable validation engine for structural, mathematical and objective consistency checks.