LotSizingDataModel.Solver 2.0.1
Solver-independent modeling, execution, monitoring and adapter infrastructure.
Loading...
Searching...
No Matches
LotSizingDataModel.Solver.Formulation Namespace Reference

Namespaces

namespace  Scientific

Classes

class  BacklogCostObjectiveTermBuilder
 Adds backlog costs to the standard objective. More...
class  BacklogVariableFamilyBuilder
 Builds backlog-level variables for sourcing relationships that explicitly define backlog constraints. More...
class  ClosedLoopSupplyNetworkModelDecorator
 Adds explicit return allocation, recovery and disposal decisions to a standard forward mathematical model. More...
class  ClosedLoopVariableKeyFactory
class  DeliveryRevenueObjectiveTermBuilder
 Subtracts sales revenue from the minimized standard objective. More...
class  DeliveryVariableFamilyBuilder
 Builds delivered-quantity variables from configured distribution-center sourcing relationships. More...
class  DemandSatisfactionConstraintFamilyBuilder
 Builds demand-satisfaction constraints for each distribution center, item, and period. More...
class  FlowConstraintModelingNotes
 Documents the period conventions used by the standard flow formulation. More...
class  GenericProductionSetupBigMEstimator
 Provides the default generic production/setup Big-M estimator. More...
class  GlspAggregateProductionConstraintFamilyBuilder
class  GlspChangeoverCostObjectiveTermBuilder
class  GlspChangeoverDefinitionConstraintFamilyBuilder
class  GlspChangeoverVariableFamilyBuilder
class  GlspFormulationVariableKeyFactory
class  GlspGroupingConstraintFamilyBuilder
class  GlspMacroCapacityConstraintFamilyBuilder
 Builds GLSP macro-period capacity including production, generic setup-start time, distinct start-up time, and sequence-dependent changeover time. More...
class  GlspMacroProductionActivationVariableFamilyBuilder
class  GlspMicroProductionLinkConstraintFamilyBuilder
class  GlspMicroProductionVariableFamilyBuilder
class  GlspMicroSetupStateVariableFamilyBuilder
class  GlspProducedItemCountConstraintFamilyBuilder
class  GlspSchedulingApplicabilityService
class  GlspSchedulingData
class  GlspSchedulingFormulation
class  GlspSchedulingFormulationFactory
class  GlspSequenceSemantics
class  GlspSetupCountConstraintFamilyBuilder
class  GlspSetupStartCostObjectiveTermBuilder
class  GlspSetupStartDefinitionConstraintFamilyBuilder
class  GlspSetupStartVariableFamilyBuilder
class  GlspSingleSetupStateConstraintFamilyBuilder
class  GlspStartUpCostObjectiveTermBuilder
class  GlspStartUpDefinitionConstraintFamilyBuilder
 Synchronizes the distinct GLSP start-up variable with the exact micro-period setup-start event. More...
class  GlspStartUpVariableFamilyBuilder
class  GroupingConstraintFamilyBuilder
 Enforces the minimum temporal spacing between consecutive production setups defined by each routing grouping constraint. More...
interface  IMathematicalModelBuildService
 Defines a service that selects a formulation and builds a solver-independent mathematical model. More...
interface  IMathematicalModelFormulation
 Defines a solver-independent mathematical formulation for a lot-sizing instance. More...
class  InitialInventoryCostObjectiveTermBuilder
 Adds the period-zero unit cost of variable initial inventory. More...
class  InitialInventoryDecisionDomainKeyFactory
class  InitialInventoryVariableFamilyBuilder
 Builds explicit period-zero inventory variables. More...
class  InventoryAdditionalCapacityCostObjectiveTermBuilder
 Adds item-specific additional inventory-capacity costs. More...
class  InventoryAdditionalCapacityVariableFamilyBuilder
 Builds item-specific additional inventory-capacity variables. More...
class  InventoryBalanceConstraintFamilyBuilder
 Builds the physical inventory-flow balance for every item-warehouse inventory relationship and planning period. More...
class  InventoryCapacityConstraintFamilyBuilder
 Builds item-specific inventory capacity constraints. More...
class  InventoryCostObjectiveTermBuilder
 Adds inventory holding or usage costs to the standard objective. More...
class  InventorySafetyStockViolationCostObjectiveTermBuilder
 Adds safety-stock violation penalties to the standard objective. More...
class  InventorySafetyStockViolationVariableFamilyBuilder
 Builds soft safety-stock violation variables. More...
class  InventorySetupCostObjectiveTermBuilder
 Adds item-specific inventory setup costs to the standard objective. More...
class  InventorySetupVariableFamilyBuilder
 Builds item-specific inventory setup variables. More...
class  InventoryVariableFamilyBuilder
 Builds inventory-level variables for every configured item-warehouse inventory relationship. More...
interface  IProductionSetupBigMEstimator
 Estimates a valid finite upper bound for one production quantity used in a production/setup linking constraint. More...
interface  IStandardLotSizingConstraintBuilder
 Defines the constraint-construction component used by the standard solver-independent lot-sizing formulation. More...
interface  IStandardLotSizingConstraintFamilyBuilder
 Defines one constraint family of the standard lot-sizing formulation. More...
interface  IStandardLotSizingObjectiveBuilder
 Defines the objective-construction component used by the standard solver-independent lot-sizing formulation. More...
interface  IStandardLotSizingObjectiveTermBuilder
 Defines one cost-term family of the standard lot-sizing objective function. More...
interface  IStandardLotSizingVariableBuilder
 Defines the variable-construction component used by the standard solver-independent lot-sizing formulation. More...
interface  IStandardLotSizingVariableFamilyBuilder
 Defines one decision-variable family of the standard lot-sizing formulation. More...
class  LotSizeMultipleConstraintFamilyBuilder
 Enforces routing-specific production lot-size multiples. More...
class  LotSizeMultipleVariableFamilyBuilder
 Builds the auxiliary integer multipliers required by production lot-size-multiple constraints. More...
class  LotSizingFormulationRegistryFactory
 Creates the complete built-in formulation registry. More...
class  MathematicalModelBuildOptions
 Defines the options used to select a formulation and build a solver-independent mathematical model. More...
class  MathematicalModelBuildResult
 Describes the result of building a solver-independent mathematical model from a lot-sizing instance. More...
class  MathematicalModelBuildService
 Selects a compatible formulation and builds the associated solver-independent mathematical model. More...
class  MathematicalModelFormulationBase
 Provides a reusable base implementation for solver-independent lot-sizing formulations. More...
class  MathematicalModelFormulationRegistry
 Stores and resolves solver-independent mathematical formulations. More...
class  MathematicalModelFormulationSelectionResult
 Describes the result of selecting a mathematical formulation for a lot-sizing instance. More...
class  MathematicalModelFormulationSelectionService
 Selects a compatible mathematical formulation for a lot-sizing instance. More...
class  MaximumLotSizeConstraintFamilyBuilder
 Builds maximum production-lot-size constraints. More...
class  MinimumLotSizeConstraintFamilyBuilder
 Builds minimum production-lot-size constraints. More...
class  ParallelRoutingSetupStartLimitPolicy
class  ParallelRoutingSetupStartModelDecorator
 Adds source-preserving setup-start coordination constraints across concurrent production routings. More...
class  PeriodicOperatingExpenditureBudgetConstraintFamilyBuilder
 Builds one operating-expenditure budget constraint per planning period. More...
class  PlspSetupTransitionLimitConstraintFamilyBuilder
 Enforces period-specific zero-transition PLSP buckets. A limit of one is already intrinsic to the incoming/outgoing state representation. More...
class  PlspSingleSetupStateConstraintFamilyBuilder
 PLSP end-of-bucket state: exactly one setup state is carried from every bucket into the next one. More...
class  ProcurementCostObjectiveTermBuilder
 Adds supplier purchase costs to the standard objective. More...
class  ProcurementVariableFamilyBuilder
 Builds supplier-procurement quantity variables. More...
class  ProductionCostObjectiveTermBuilder
 Adds variable production costs to the standard objective. More...
class  ProductionFamilySetupLinkConstraintFamilyBuilder
class  ProductionFamilySetupVariableFamilyBuilder
class  ProductionSetupBigMEstimate
 Describes one production/setup Big-M estimate. More...
class  ProductionSetupCostObjectiveTermBuilder
 Adds fixed production setup costs to the standard objective. More...
class  ProductionSetupLinkConstraintFamilyBuilder
 Links production quantities to binary setup variables. More...
class  ProductionStartUpCostObjectiveTermBuilder
 Adds standard production start-up costs. More...
class  ProductionStartUpDefinitionConstraintFamilyBuilder
 Defines standard start-up events as exact 0-to-1 setup transitions. More...
class  ProductionStartUpDomainKeyFactory
 Builds canonical mathematical domain keys for production start-up events. More...
class  ProductionStartUpVariableFamilyBuilder
 Builds standard production start-up event variables. More...
class  ProductionVariableFamilyBuilder
 Builds the production-quantity variable family of the standard lot-sizing formulation. More...
class  SafetyStockConstraintFamilyBuilder
 Builds inventory safety-stock constraints. More...
class  SetupVariableFamilyBuilder
 Builds the production-setup variable family of the standard lot-sizing formulation. More...
class  ShortageCostObjectiveTermBuilder
 Adds shortage or lost-sales costs to the standard objective. More...
class  ShortageVariableFamilyBuilder
 Builds lost-sales or shortage variables for sourcing relationships that explicitly define shortage constraints. More...
class  SmallBucketGroupingConstraintFamilyBuilder
class  SmallBucketProducedItemCountConstraintFamilyBuilder
 Enforces the real period-dependent MaximumProducedItemCount parameter from positive-production activation variables. More...
class  SmallBucketProductionActivationVariableFamilyBuilder
 Mathematical-only small-bucket production activation variables. More...
class  SmallBucketProductionStateConstraintFamilyBuilder
class  SmallBucketSchedulingApplicabilityService
class  SmallBucketSchedulingCapacityConstraintFamilyBuilder
 Builds CSLP/PLSP capacity with additive production, setup-start and start-up time contributions. More...
class  SmallBucketSchedulingDomainKeyFactory
class  SmallBucketSchedulingFormulation
 Solver-independent executable MILP formulation for one canonical small-bucket scheduling family. More...
class  SmallBucketSchedulingFormulationFactory
class  SmallBucketSetupCountConstraintFamilyBuilder
class  SmallBucketSetupStartCostObjectiveTermBuilder
class  SmallBucketSetupStartDefinitionConstraintFamilyBuilder
class  SmallBucketSetupStartVariableFamilyBuilder
class  SmallBucketSetupStateVariableFamilyBuilder
 Binary routing setup-state variables for executable small-bucket models. More...
class  SmallBucketSingleSetupStateConstraintFamilyBuilder
 Enforces at most one active routing setup state per small bucket. More...
class  SmallBucketStartUpCostObjectiveTermBuilder
class  SmallBucketStartUpDefinitionConstraintFamilyBuilder
 Synchronizes the distinct start-up event with the exact small-bucket setup-start occurrence. More...
class  SmallBucketStartUpVariableFamilyBuilder
class  StandardFormulationDomainKeyFactory
 Creates canonical domain-key fragments shared by standard formulation builders and provides warehouse-reference helpers. More...
class  StandardFormulationResourceEnumerator
 Enumerates physical resources together with the canonical references required by the mathematical formulation. More...
class  StandardFormulationVariableKeyFactory
 Creates canonical variable domain keys used by the standard formulation constraint builders. More...
class  StandardLotSizingConstraintBuilder
 Builds all constraint families of the standard lot-sizing formulation. More...
class  StandardLotSizingConstraintFamilyBuilderBase
 Provides common validation and helper methods for one constraint family of the standard lot-sizing formulation. More...
class  StandardLotSizingFormulation
 Provides the standard solver-independent mixed-integer lot-sizing formulation. More...
class  StandardLotSizingFormulationFactory
 Creates fully configured instances of the standard solver-independent lot-sizing formulation. More...
class  StandardLotSizingFormulationOptions
 Configures the standard solver-independent mixed-integer lot-sizing formulation. More...
class  StandardLotSizingFormulationRegistryFactory
 Creates formulation registries preconfigured with the standard lot-sizing formulation. More...
class  StandardLotSizingObjectiveBuilder
 Builds the complete linear objective of the standard lot-sizing formulation from registered objective-term families. More...
class  StandardLotSizingObjectiveTermBuilderBase
 Provides common validation and helper methods for one objective-term family of the standard lot-sizing formulation. More...
class  StandardLotSizingVariableBuilder
 Aggregates the variable-family builders used by the standard lot-sizing formulation. More...
class  StandardLotSizingVariableFamilyBuilderBase
 Provides common validation and variable-registration helpers for one variable family of the standard lot-sizing formulation. More...
class  SupplierCapacityConstraintFamilyBuilder
 Builds procurement-capacity constraints for supplier-delivery relations. More...
class  TransportAdditionalCapacityCostObjectiveTermBuilder
 Adds item-specific additional transport-capacity costs. More...
class  TransportAdditionalCapacityVariableFamilyBuilder
 Builds item-specific additional transport-capacity variables. More...
class  TransportCostObjectiveTermBuilder
 Adds item-specific transport usage costs to the standard objective. More...
class  TransportResourceActivationLinkConstraintFamilyBuilder
 Links each departure to the shared resource activation and existing per-lane item setup. More...
class  TransportResourceActivationVariableFamilyBuilder
 Builds global transport-resource activation variables. More...
class  TransportResourceAdditionalCapacityCostObjectiveTermBuilder
 Adds global additional transport-resource capacity costs. More...
class  TransportResourceAdditionalCapacityVariableFamilyBuilder
 Builds global additional transport-resource capacity variables. More...
class  TransportResourceCapacityConstraintFamilyBuilder
 Builds global transport-resource capacity constraints. More...
class  TransportResourceCostObjectiveTermBuilder
 Adds fixed global transport-resource activation costs. More...
class  TransportSetupCostObjectiveTermBuilder
 Adds item-specific transport setup costs. More...
class  TransportSetupVariableFamilyBuilder
 Builds item-specific binary transport-setup variables. More...
class  TransportSpecificCapacityConstraintFamilyBuilder
 Builds item-specific transport capacity constraints. More...
class  TransportVariableFamilyBuilder
 Builds item-specific transported-quantity variables on each lane of an allowed transport resource. More...
class  WarehouseActivationLinkConstraintFamilyBuilder
 Links aggregate warehouse inventory load to binary warehouse activation. More...
class  WarehouseActivationVariableFamilyBuilder
 Builds global warehouse activation variables. More...
class  WarehouseAdditionalCapacityCostObjectiveTermBuilder
 Adds global additional warehouse-capacity costs. More...
class  WarehouseAdditionalCapacityVariableFamilyBuilder
 Builds global additional warehouse-capacity variables. More...
class  WarehouseCapacityConstraintFamilyBuilder
 Builds global warehouse capacity constraints by aggregating all item-specific inventory loads stored at the warehouse. More...
class  WarehouseResourceCostObjectiveTermBuilder
 Adds fixed warehouse activation costs. More...
class  WorkCenterActivationLinkConstraintFamilyBuilder
 Links work-center production load to binary work-center activation. More...
class  WorkCenterActivationVariableFamilyBuilder
 Builds global work-center activation variables. More...
class  WorkCenterAdditionalCapacityCostObjectiveTermBuilder
 Adds global additional work-center capacity costs. More...
class  WorkCenterAdditionalCapacityVariableFamilyBuilder
 Builds global additional work-center capacity variables. More...
class  WorkCenterCapacityConstraintFamilyBuilder
 Builds global work-center capacity constraints. More...
class  WorkCenterResourceCostObjectiveTermBuilder
 Adds fixed work-center activation costs. More...

Enumerations

enum  SmallBucketSchedulingFormulationKind { Dlsp = 0 , Cslp = 1 , Plsp = 2 }
 Executable small-bucket scheduling formulation variants. More...

Enumeration Type Documentation

◆ SmallBucketSchedulingFormulationKind

Executable small-bucket scheduling formulation variants.

Enumerator
Dlsp 
Cslp 
Plsp 

Definition at line 6 of file SmallBucketSchedulingFormulationKind.cs.