WarehouseAdditionalCapacityDecisionMapper.cs

Go to the documentation of this file.

using System;
using System.Linq;
using LotSizingDataModel.Core.PhysicalModel;
using LotSizingDataModel.Solution;
using LotSizingDataModel.Solution.Decisions;
using LotSizingDataModel.Solver.Execution;
 
namespace LotSizingDataModel.Solver.Mapping;
 
/// <summary>
/// Maps mathematical additional warehouse-capacity values to
/// warehouse capacity decisions in a lot-sizing solution.
/// </summary>
/// <remarks>
/// Supported canonical domain-key formats are:
/// <code>
/// warehouseAdditionalCapacity|warehouse=&lt;id&gt;|period=&lt;index&gt;
/// warehouseAdditionalCapacity|plant=&lt;id&gt;|period=&lt;index&gt;
/// </code>
/// The first format identifies a standalone warehouse. The
/// second identifies the warehouse attached to a plant.
/// Period numbers are one-based.
/// </remarks>
public sealed class WarehouseAdditionalCapacityDecisionMapper :
    MathematicalDecisionMapperBase
{
    /// <summary>
    /// Gets the mathematical domain-key category handled by this
    /// mapper.
    /// </summary>
    public override string Category =>
        MathematicalDecisionCategory.WarehouseAdditionalCapacity;
 
    /// <summary>
    /// Maps one non-zero additional warehouse-capacity value.
    /// </summary>
    /// <param name="context">
    /// Mathematical-solution mapping context.
    /// </param>
    /// <param name="solution">
    /// Target lot-sizing solution.
    /// </param>
    /// <param name="domainKey">
    /// Parsed warehouse additional-capacity domain key.
    /// </param>
    /// <param name="variableValue">
    /// Additional-capacity value returned by the solver.
    /// </param>
    protected override void MapValue(
        MathematicalSolutionMappingContext context,
        LotSizingSolution solution,
        MathematicalDomainKey domainKey,
        MathematicalVariableValue variableValue)
    {
        ArgumentNullException.ThrowIfNull(
            context);
 
        ArgumentNullException.ThrowIfNull(
            solution);
 
        ArgumentNullException.ThrowIfNull(
            domainKey);
 
        ArgumentNullException.ThrowIfNull(
            variableValue);
 
        int period =
            domainKey.GetRequiredInt32(
                MathematicalDomainKeySegment.Period);
 
        WarehouseReference warehouse =
            ResolveWarehouse(
                domainKey);
 
        WarehouseCapacityDecision? decision =
            solution.WarehouseCapacityDecisions
                .FirstOrDefault(
                    existing =>
                        existing.Matches(
                            warehouse));
 
        if (decision is null)
        {
            if (solution.PlanningHorizon <= 0)
            {
                throw new InvalidOperationException(
                    "The target lot-sizing solution must have a " +
                    "strictly positive planning horizon before " +
                    "warehouse capacity decisions are mapped.");
            }
 
            decision =
                new WarehouseCapacityDecision(
                    warehouse,
                    solution.PlanningHorizon);
 
            solution.AddWarehouseCapacityDecision(
                decision);
        }
 
        decision.SetAdditionalCapacityUsed(
            period,
            variableValue.Value);
    }
 
    private static WarehouseReference ResolveWarehouse(
        MathematicalDomainKey domainKey)
    {
        bool hasStandaloneWarehouse =
            domainKey.TryGetInt32(
                MathematicalDomainKeySegment.Warehouse,
                out int warehouseId);
 
        bool hasPlantWarehouse =
            domainKey.TryGetInt32(
                MathematicalDomainKeySegment.Plant,
                out int plantId);
 
        if (hasStandaloneWarehouse ==
            hasPlantWarehouse)
        {
            throw new InvalidOperationException(
                "A warehouse additional-capacity domain key must " +
                "identify exactly one warehouse using either " +
                "'warehouse' or 'plant'.");
        }
 
        if (hasStandaloneWarehouse)
        {
            return WarehouseReference
                .ForStandaloneWarehouse(
                    warehouseId);
        }
 
        return WarehouseReference
            .ForPlantWarehouse(
                plantId);
    }
}