LotSizingDataModel.Instance 2.0.1
Lot-sizing instance representation, descriptors and problem characterization.
Loading...
Searching...
No Matches
LotSizingDataModel.Instance.Common Namespace Reference

Enumerations

enum  KnownResultVerificationStatus {
  NotVerified , SourceReported , Reproduced , AutomaticallyVerified ,
  IndependentlyVerified , Disputed , Invalidated
}
 Indicates the level of verification associated with a known result for a lot-sizing problem instance. More...
enum  ProblemClassificationScope {
  Unknown , CompleteProblem , ProblemRelaxation , SingleItem ,
  ItemSubset , Plant , WorkCenter , Warehouse ,
  TransportResource , TransportLane , Supplier , DistributionCenter ,
  SupplyChainSegment , CustomSubset
}
 Identifies the part of a lot-sizing instance to which a known-problem-family match applies. More...
enum  ProblemClassificationStatus {
  NotAnalyzed , Classified , PartiallyClassified , Ambiguous ,
  Unclassified , Invalid , Outdated
}
 Indicates the current status of the automatic classification of a lot-sizing problem instance. More...
enum  ProblemMatchKind {
  Unknown , Exact , KnownExtension , RecognizedRelaxation ,
  RecognizedSubproblem , ClosestKnownFamily
}
 Identifies how a supply-chain instance matches a known lot-sizing problem family. More...
enum  ProductStructureCheckStatus {
  NotAnalyzed , DeclaredOnly , DetectedOnly , DeclaredAndConfirmed ,
  DeclaredAndContradicted , Invalid , Outdated
}
 Indicates the current status of the declaration, automatic detection and verification of a product bill-of-materials structure. More...
enum  ProductStructureType {
  Unknown , IndependentItems , Serial , Assembly ,
  Arborescent , General
}
 Identifies the structural category of a product bill-of-materials graph. More...

Enumeration Type Documentation

◆ KnownResultVerificationStatus

Indicates the level of verification associated with a known result for a lot-sizing problem instance.

The verification status is independent of the result's feasibility and optimality claims.

A result may contain only an objective value reported by a publication, without a detailed solution that can be checked automatically.

Enumerator
NotVerified 

No verification information has been recorded.

SourceReported 

The result is reported by an external source, but has not been reproduced or checked using the current data model.

This status is appropriate for an objective value extracted from an article when the detailed decision variables are unavailable.

Reproduced 

The result has been reproduced by executing the reported method or an equivalent implementation.

Reproduction does not necessarily constitute an independent verification when the same implementation, data transformation or assumptions are reused.

AutomaticallyVerified 

The result has been checked automatically against the current supply-chain instance.

Automatic verification may include reference checks, decision-domain checks, constraint evaluation and objective-value recomputation.

IndependentlyVerified 

The result has been independently verified using a separate implementation, method or verification process.

Disputed 

The result is disputed because available evidence is insufficient or conflicting.

A disputed result is retained for traceability and must not automatically be used as the best known result.

Invalidated 

The result has been shown to be invalid.

Typical causes include an infeasible detailed solution, an incorrect objective value, incompatible instance data or an erroneous optimality claim.

Definition at line 20 of file KnownResultVerificationStatus.cs.

◆ ProblemClassificationScope

Identifies the part of a lot-sizing instance to which a known-problem-family match applies.

The scope is independent of the nature of the match.

For example, a known family may exactly describe the complete problem, describe a relaxation of it, or occur as a subproblem associated with one item, facility or resource.

Enumerator
Unknown 

The scope of the classification match is unknown or has not been specified.

CompleteProblem 

The classification match applies to the complete lot-sizing problem represented by the instance.

ProblemRelaxation 

The classification match applies to a relaxation of the complete problem.

The relaxation may result from removing capacity, coupling, integrality, transportation or other constraints.

SingleItem 

The classification match applies to a subproblem associated with one item.

The corresponding item identifier should be recorded in the classification-match object.

ItemSubset 

The classification match applies to a subproblem associated with a subset of items.

Plant 

The classification match applies to the decisions associated with one production plant.

WorkCenter 

The classification match applies to the decisions associated with one work center.

Warehouse 

The classification match applies to the decisions associated with one warehouse.

TransportResource 

The classification match applies to the decisions associated with one transport resource.

TransportLane 

The classification match applies to the decisions associated with one directed transport lane.

Supplier 

The classification match applies to the decisions associated with one supplier.

DistributionCenter 

The classification match applies to the decisions associated with one distribution center.

SupplyChainSegment 

The classification match applies to a connected segment or subsystem of the supply chain.

Examples include one product family, one echelon, one production-distribution branch or one connected component of the product-structure graph.

CustomSubset 

The classification match applies to a custom subset that cannot be represented by another scope value.

The affected entities should be described explicitly in the classification-match object.

Definition at line 19 of file ProblemClassificationScope.cs.

◆ ProblemClassificationStatus

Indicates the current status of the automatic classification of a lot-sizing problem instance.

This status describes the result and validity of the classification process.

It is independent of the feasibility or optimality of any solution associated with the instance.

Enumerator
NotAnalyzed 

The supply-chain instance has not yet been analyzed by the lot-sizing problem classifier.

Classified 

The complete problem has been associated with a known lot-sizing family or with a clearly identified extension of a known family.

A classified problem may still contain additional explicitly recorded features.

PartiallyClassified 

Some known lot-sizing structures, relaxations or subproblems have been identified, but no classification fully describes the complete problem.

For example, each item may contain an LS-U relaxation while the complete instance also includes shared capacities, transportation and multi-level interactions.

Ambiguous 

Several known problem families match the instance equally well and no unique primary classification can be selected automatically.

The candidate classifications and their evidence should be retained for manual review.

Unclassified 

The analysis completed successfully, but no known problem family provides a meaningful classification of the complete instance or one of its substructures.

Invalid 

The supply-chain data is structurally invalid and therefore cannot be classified reliably.

Examples include cyclic bills of materials, unresolved references or inconsistent planning horizons.

Outdated 

A classification exists, but the supply-chain instance has changed since that classification was produced.

The problem must be analyzed again before the recorded classification can be used to select a solution method.

Definition at line 19 of file ProblemClassificationStatus.cs.

◆ ProblemMatchKind

Identifies how a supply-chain instance matches a known lot-sizing problem family.

A problem may produce several matches of different kinds. For example, the complete problem may be a known extension of a capacitated lot-sizing problem while containing uncapacitated lot-sizing relaxations for individual items.

Enumerator
Unknown 

The nature of the correspondence is unknown or has not been evaluated.

Exact 

The analyzed problem satisfies all defining conditions of the known problem family without any additional unclassified structural feature.

Numerical data such as costs, demands and capacities may naturally differ between instances.

KnownExtension 

The analyzed problem satisfies the defining conditions of a known family but also contains explicitly identified additional features or constraints.

Examples include a capacitated lot-sizing problem extended with transportation decisions, financial constraints or additional-capacity decisions.

RecognizedRelaxation 

A relaxation of the analyzed problem belongs to the known problem family.

The relaxation may be obtained by removing coupling, capacity, integrality or other constraints from the complete problem.

RecognizedSubproblem 

One or more identifiable parts of the analyzed problem belong to the known problem family.

For example, a multi-item problem may contain one recognizable single-item lot-sizing subproblem for each item.

ClosestKnownFamily 

The known family is the closest available description of the analyzed problem, but some defining conditions are not satisfied.

This match is informative only. It must not be treated as proof that algorithms dedicated to the known family are directly applicable to the complete problem.

Definition at line 18 of file ProblemMatchKind.cs.

◆ ProductStructureCheckStatus

Indicates the current status of the declaration, automatic detection and verification of a product bill-of-materials structure.

The status compares an optional structure type declared by an instance author with the type detected automatically from the supply-chain bill-of-materials graph.

Cyclic or otherwise invalid product structures are reported using Invalid.

Enumerator
NotAnalyzed 

No product-structure type has been declared and no automatic analysis has been performed.

DeclaredOnly 

A product-structure type has been declared, but the supply-chain bill of materials has not yet been analyzed automatically.

DetectedOnly 

A product-structure type has been detected automatically, but no declared type is available for comparison.

DeclaredAndConfirmed 

The declared product-structure type is consistent with the automatically detected type.

DeclaredAndContradicted 

The declared product-structure type differs from the automatically detected type.

Both values should be retained so that the discrepancy can be reviewed rather than silently corrected.

Invalid 

The bill-of-materials graph is invalid and cannot be assigned a valid product-structure type.

Typical causes include cycles, unresolved item references or inconsistent component relationships.

Outdated 

A product-structure analysis exists, but the supply-chain data has changed since it was performed.

The product structure must be analyzed again before the detected type can be used reliably.

Definition at line 21 of file ProductStructureCheckStatus.cs.

◆ ProductStructureType

Identifies the structural category of a product bill-of-materials graph.

The classification assumes that each directed arc goes from a component item to an immediate parent item that consumes the component.

Cyclic structures are not represented by a specific value. A cycle makes the product structure invalid and must be reported separately by the product-structure analyzer.

Enumerator
Unknown 

The product-structure type is unknown or has not yet been analyzed.

IndependentItems 

The instance contains no component-to-parent bill-of-materials relationship.

All items are structurally independent from a bill-of-materials perspective.

Serial 

Every connected component of the bill-of-materials graph is a directed chain.

Each item has at most one immediate component and is used by at most one immediate parent item.

Assembly 

The bill-of-materials graph has an assembly structure.

An item may consume several immediate components, but each component is used by at most one immediate parent item.

Arborescent 

The bill-of-materials graph has an arborescent structure.

An item has at most one immediate component, but it may be used by several immediate parent items.

General 

The acyclic bill-of-materials graph does not satisfy the serial, assembly or arborescent restrictions.

A general structure may contain both items consuming several components and components shared by several parent items.

Definition at line 21 of file ProductStructureType.cs.