LotSizingDataModel.Solver.Feasibility Namespace Reference

Classes
class	InstanceFeasibilityAnalyzer
	Pre-solve instance feasibility facade. It never reports Feasible: only proven Infeasible or Unknown. More...
class	IntrinsicFeasibilityAnalysisResult
class	IntrinsicFeasibilityDiagnostic
struct	LinearExpressionBoundInterval
class	MathematicalModelIntrinsicFeasibilityAnalyzer
	Proves intrinsic infeasibility from variable-bound interval arithmetic. Absence of a proof is reported as Unknown. More...

Enumerations
enum	IntrinsicFeasibilityStatus { Unknown = 0 , Infeasible = 1 }
	Conservative pre-solve feasibility status. More...

Enumeration Type Documentation

IntrinsicFeasibilityStatus

enum LotSizingDataModel.Solver.Feasibility.IntrinsicFeasibilityStatus

Conservative pre-solve feasibility status.

Enumerator
Unknown
Infeasible

Definition at line 6 of file IntrinsicFeasibilityStatus.cs.