public Task <IHM1BOutputContext> Solve(
IAbstractFactory abstractFactory,
IHM1BConfiguration HM1BConfiguration,
IHM1BInputContext HM1BInputContext,
ISolverConfiguration solverConfiguration,
HM1BEncodingEnum HM1BEncodingEnum)
{
return(abstractFactory.CreateSolutionsAbstractFactory().CreateHM1BSolutionFactory().Create().Solve(
abstractFactory.CreateCalculationsAbstractFactory(),
abstractFactory.CreateConstraintElementsAbstractFactory(),
abstractFactory.CreateConstraintsAbstractFactory(),
abstractFactory.CreateContextsAbstractFactory(),
abstractFactory.CreateCrossJoinElementsAbstractFactory(),
abstractFactory.CreateCrossJoinsAbstractFactory(),
abstractFactory.CreateDependenciesAbstractFactory(),
abstractFactory.CreateIndexElementsAbstractFactory(),
abstractFactory.CreateIndicesAbstractFactory(),
abstractFactory.CreateModelsAbstractFactory(),
abstractFactory.CreateObjectiveFunctionsAbstractFactory(),
abstractFactory.CreateParameterElementsAbstractFactory(),
abstractFactory.CreateParametersAbstractFactory(),
abstractFactory.CreateResultElementsAbstractFactory(),
abstractFactory.CreateResultsAbstractFactory(),
abstractFactory.CreateVariablesAbstractFactory(),
HM1BConfiguration,
HM1BInputContext,
solverConfiguration,
HM1BEncodingEnum));
}
public IHM1BInputContext Create(
ImmutableList <Tuple <Organization, ImmutableList <Organization> > > surgicalSpecialties,
Bundle operatingRooms,
Bundle surgeons,
ImmutableList <KeyValuePair <INullableValue <int>, FhirDateTime> > planningHorizon,
ImmutableList <INullableValue <int> > scenarios,
ImmutableList <INullableValue <int> > operatingRoomServiceLevels,
ImmutableList <Tuple <Organization, INullableValue <int>, INullableValue <int> > > surgeonServiceLevelNumberTimeBlocks,
ImmutableList <KeyValuePair <Organization, INullableValue <int> > > surgeonStrategicTargets,
ImmutableList <Tuple <Organization, INullableValue <int>, INullableValue <int> > > surgeonScenarioMaximumNumberPatients,
ImmutableList <KeyValuePair <INullableValue <int>, INullableValue <decimal> > > scenarioProbabilities,
INullableValue <int> optimalOperatingRoomServiceLevel,
INullableValue <int> nextOperatingRoomServiceLevel,
ImmutableList <KeyValuePair <FhirDateTime, INullableValue <bool> > > dayAvailabilities,
ImmutableList <KeyValuePair <Organization, INullableValue <decimal> > > surgeonPenaltyWeights)
{
IHM1BInputContext context = null;
try
{
context = new HM1BInputContext(
surgicalSpecialties,
operatingRooms,
surgeons,
planningHorizon,
scenarios,
operatingRoomServiceLevels,
surgeonServiceLevelNumberTimeBlocks,
surgeonStrategicTargets,
surgeonScenarioMaximumNumberPatients,
scenarioProbabilities,
optimalOperatingRoomServiceLevel,
nextOperatingRoomServiceLevel,
dayAvailabilities,
surgeonPenaltyWeights);
}
catch (Exception exception)
{
this.Log.Error(
exception.Message,
exception);
}
return(context);
}
public HM1B111Model(
IConstraintElementsAbstractFactory constraintElementsAbstractFactory,
IConstraintsAbstractFactory constraintsAbstractFactory,
ICrossJoinElementsAbstractFactory crossJoinElementsAbstractFactory,
ICrossJoinsAbstractFactory crossJoinsAbstractFactory,
IDependenciesAbstractFactory dependenciesAbstractFactory,
IIndexElementsAbstractFactory indexElementsAbstractFactory,
IIndicesAbstractFactory indicesAbstractFactory,
IObjectiveFunctionsAbstractFactory objectiveFunctionsAbstractFactory,
IParameterElementsAbstractFactory parameterElementsAbstractFactory,
IParametersAbstractFactory parametersAbstractFactory,
IVariablesAbstractFactory variablesAbstractFactory,
IHM1BInputContext HM1BInputContext) :
base(
constraintElementsAbstractFactory,
constraintsAbstractFactory,
crossJoinElementsAbstractFactory,
crossJoinsAbstractFactory,
dependenciesAbstractFactory,
indexElementsAbstractFactory,
indicesAbstractFactory,
parameterElementsAbstractFactory,
parametersAbstractFactory,
variablesAbstractFactory,
HM1BInputContext)
{
// Objective function
this.Model.AddObjective(
objectiveFunctionsAbstractFactory.CreateObjectiveFunction111Factory().Create(
dependenciesAbstractFactory.CreateObjectiveFactory(),
this.sΛ,
this.Ρ,
this.ω,
this.e1Minus,
this.e1Plus)
.Value);
}
public HM1BModel(
IConstraintElementsAbstractFactory constraintElementsAbstractFactory,
IConstraintsAbstractFactory constraintsAbstractFactory,
ICrossJoinElementsAbstractFactory crossJoinElementsAbstractFactory,
ICrossJoinsAbstractFactory crossJoinsAbstractFactory,
IDependenciesAbstractFactory dependenciesAbstractFactory,
IIndexElementsAbstractFactory indexElementsAbstractFactory,
IIndicesAbstractFactory indicesAbstractFactory,
IParameterElementsAbstractFactory parameterElementsAbstractFactory,
IParametersAbstractFactory parametersAbstractFactory,
IVariablesAbstractFactory variablesAbstractFactory,
IHM1BInputContext HM1BInputContext)
{
this.Context = HM1BInputContext;
this.Model = dependenciesAbstractFactory.CreateModelFactory().Create();
// Indices
// j
this.j = indicesAbstractFactory.CreatejFactory().Create(
this.Context.SurgicalSpecialties
.Select(x => x.Item1)
.Select(x => indexElementsAbstractFactory.CreatejIndexElementFactory().Create(x))
.ToImmutableList());
// r
this.r = indicesAbstractFactory.CreaterFactory().Create(
this.Context.OperatingRooms
.Entry
.Where(x => x.Resource is Location)
.Select(x => indexElementsAbstractFactory.CreaterIndexElementFactory().Create((Location)x.Resource))
.ToImmutableList());
// s
this.s = indicesAbstractFactory.CreatesFactory().Create(
this.Context.Surgeons
.Entry
.Where(x => x.Resource is Organization)
.Select(x => indexElementsAbstractFactory.CreatesIndexElementFactory().Create((Organization)x.Resource))
.ToImmutableList());
// t
this.t = indicesAbstractFactory.CreatetFactory().Create(
this.Context.PlanningHorizon
.Select(x => indexElementsAbstractFactory.CreatetIndexElementFactory().Create(
x.Key.Value.Value,
x.Value))
.ToImmutableList());
// Λ
this.Λ = indicesAbstractFactory.CreateΛFactory().Create(
this.Context.Scenarios
.Select(x => indexElementsAbstractFactory.CreateΛIndexElementFactory().Create((PositiveInt)x))
.ToImmutableList());
// υ1
this.υ1 = indicesAbstractFactory.Createυ1Factory().Create(
this.Context.OperatingRoomServiceLevels
.Select(x => indexElementsAbstractFactory.Createυ1IndexElementFactory().Create((PositiveInt)x))
.ToImmutableList());
// Cross joins
// sΛ
this.sΛ = crossJoinsAbstractFactory.CreatesΛFactory().Create(
this.s.Value
.SelectMany(b => this.Λ.Value, (a, b) => crossJoinElementsAbstractFactory.CreatesΛCrossJoinElementFactory().Create(a, b))
.ToImmutableList());
// Parameters
// A(s, υ1)
this.A = parametersAbstractFactory.CreateAFactory().Create(
this.Context.SurgeonServiceLevelNumberTimeBlocks
.Select(x => parameterElementsAbstractFactory.CreateAParameterElementFactory().Create(
this.s.GetElementAt(x.Item1),
this.υ1.GetElementAt((PositiveInt)x.Item2),
(PositiveInt)x.Item3))
.ToImmutableList());
// N(s)
this.N = parametersAbstractFactory.CreateNFactory().Create(
this.Context.SurgeonStrategicTargets
.Select(x => parameterElementsAbstractFactory.CreateNParameterElementFactory().Create(
this.s.GetElementAt(x.Key),
(PositiveInt)x.Value))
.ToImmutableList());
// n(s, Λ)
this.n = parametersAbstractFactory.CreatenFactory().Create(
this.Context.SurgeonScenarioMaximumNumberPatients
.Select(x => parameterElementsAbstractFactory.CreatenParameterElementFactory().Create(
this.s.GetElementAt(x.Item1),
this.Λ.GetElementAt((PositiveInt)x.Item2),
(PositiveInt)x.Item3))
.ToImmutableList());
// Δ(j)
this.Δ = parametersAbstractFactory.CreateΔFactory().Create(
this.Context.SurgicalSpecialties
.Select(x => parameterElementsAbstractFactory.CreateΔParameterElementFactory().Create(
this.j.GetElementAt(x.Item1),
x.Item2.Select(i => this.s.GetElementAt(i)).ToImmutableList()))
.ToImmutableList());
// Ρ(Λ)
this.Ρ = parametersAbstractFactory.CreateΡFactory().Create(
this.Context.ScenarioProbabilities
.Select(x => parameterElementsAbstractFactory.CreateΡParameterElementFactory().Create(
this.Λ.GetElementAt((PositiveInt)x.Key),
(FhirDecimal)x.Value))
.ToImmutableList());
// υ1Star
this.υ1Star = parametersAbstractFactory.Createυ1StarFactory().Create(
this.υ1.GetElementAt((PositiveInt)this.Context.OptimalOperatingRoomServiceLevel));
// υ1StarPlus1
this.υ1StarPlus1 = parametersAbstractFactory.Createυ1StarPlus1Factory().Create(
this.υ1.GetElementAt((PositiveInt)this.Context.NextOperatingRoomServiceLevel));
// ψ(t)
this.ψ = parametersAbstractFactory.CreateψFactory().Create(
this.Context.DayAvailabilities
.Select(x => parameterElementsAbstractFactory.CreateψParameterElementFactory().Create(
this.t.GetElementAt(x.Key),
(FhirBoolean)x.Value))
.ToImmutableList());
// ω(s)
this.ω = parametersAbstractFactory.CreateωFactory().Create(
this.Context.SurgeonPenaltyWeights
.Select(x => parameterElementsAbstractFactory.CreateωParameterElementFactory().Create(
this.s.GetElementAt(x.Key),
(FhirDecimal)x.Value))
.ToImmutableList());
// Variables
// B(s)
this.B = variablesAbstractFactory.CreateBFactory().Create(
dependenciesAbstractFactory.CreateVariableCollectionFactory().Create(
model: this.Model,
indexSet1: this.s.Value,
lowerBoundGenerator: (a) => 0,
upperBoundGenerator: (a) => int.MaxValue,
variableTypeGenerator: (a) => VariableType.Integer));
// e1Minus(s, Λ)
this.e1Minus = variablesAbstractFactory.Createe1MinusFactory().Create(
dependenciesAbstractFactory.CreateVariableCollectionFactory().Create(
model: this.Model,
indexSet1: this.s.Value,
indexSet2: this.Λ.Value,
lowerBoundGenerator: (a, b) => 0,
upperBoundGenerator: (a, b) => int.MaxValue,
variableTypeGenerator: (a, b) => VariableType.Integer));
// e1Plus(s, Λ)
this.e1Plus = variablesAbstractFactory.Createe1PlusFactory().Create(
dependenciesAbstractFactory.CreateVariableCollectionFactory().Create(
model: this.Model,
indexSet1: this.s.Value,
indexSet2: this.Λ.Value,
lowerBoundGenerator: (a, b) => 0,
upperBoundGenerator: (a, b) => int.MaxValue,
variableTypeGenerator: (a, b) => VariableType.Integer));
// Constraints
// Constraints 1L
this.Model.AddConstraints(
this.s.Value
.Select(
x => constraintElementsAbstractFactory.CreateConstraints1LConstraintElementFactory().Create(
x,
this.υ1Star.Value,
this.A,
this.B)
.Value));
// Constraints 1U
this.Model.AddConstraints(
this.s.Value
.Select(
x => constraintElementsAbstractFactory.CreateConstraints1UConstraintElementFactory().Create(
x,
this.υ1StarPlus1.Value,
this.A,
this.B)
.Value));
// Constraint 2
this.Model.AddConstraint(
constraintsAbstractFactory.CreateConstraint2Factory().Create(
this.r,
this.s,
this.t,
this.ψ,
this.B)
.Value);
// Constraints 3
this.Model.AddConstraints(
this.sΛ.Value
.Select(
x => constraintElementsAbstractFactory.CreateConstraints3ConstraintElementFactory().Create(
x.sIndexElement,
x.ΛIndexElement,
this.N,
this.n,
this.B,
this.e1Minus,
this.e1Plus)
.Value));
}
public Task <IHM1BOutputContext> Solve(
ICalculationsAbstractFactory calculationsAbstractFactory,
IConstraintElementsAbstractFactory constraintElementsAbstractFactory,
IConstraintsAbstractFactory constraintsAbstractFactory,
IContextsAbstractFactory contextsAbstractFactory,
ICrossJoinElementsAbstractFactory crossJoinElementsAbstractFactory,
ICrossJoinsAbstractFactory crossJoinsAbstractFactory,
IDependenciesAbstractFactory dependenciesAbstractFactory,
IIndexElementsAbstractFactory indexElementsAbstractFactory,
IIndicesAbstractFactory indicesAbstractFactory,
IModelsAbstractFactory modelsAbstractFactory,
IObjectiveFunctionsAbstractFactory objectiveFunctionsAbstractFactory,
IParameterElementsAbstractFactory parameterElementsAbstractFactory,
IParametersAbstractFactory parametersAbstractFactory,
IResultElementsAbstractFactory resultElementsAbstractFactory,
IResultsAbstractFactory resultsAbstractFactory,
IVariablesAbstractFactory variablesAbstractFactory,
IHM1BConfiguration HM1BConfiguration,
IHM1BInputContext HM1BInputContext,
ISolverConfiguration solverConfiguration,
HM1BEncodingEnum HM1BEncodingEnum)
{
IHM1BOutputContext HM1BOutputContext = null;
return(Task.Run(() =>
{
using (ModelScope modelScope = dependenciesAbstractFactory.CreateModelScopeFactory().Create(HM1BConfiguration.Value))
{
IHM1BModel model = modelsAbstractFactory.CreateHM1BModelFactory().Create(
constraintElementsAbstractFactory,
constraintsAbstractFactory,
crossJoinElementsAbstractFactory,
crossJoinsAbstractFactory,
dependenciesAbstractFactory,
indexElementsAbstractFactory,
indicesAbstractFactory,
objectiveFunctionsAbstractFactory,
parameterElementsAbstractFactory,
parametersAbstractFactory,
variablesAbstractFactory,
HM1BInputContext,
HM1BEncodingEnum);
using (ISolver solver = dependenciesAbstractFactory.CreateSolverFactory().Create(solverConfiguration))
{
Solution solution = solver?.Solve(model?.Model);
if (solution?.ModelStatus == OPTANO.Modeling.Optimization.Solver.ModelStatus.Feasible)
{
model.Model.VariableCollections.ForEach(vc => vc.SetVariableValues(solution.VariableValues));
HM1BOutputContext = contextsAbstractFactory.CreateHM1BOutputContextFactory().Create(
calculationsAbstractFactory,
dependenciesAbstractFactory,
resultElementsAbstractFactory,
resultsAbstractFactory,
model,
solution);
}
}
}
return HM1BOutputContext;
}));
}
public IHM1BModel Create(
IConstraintElementsAbstractFactory constraintElementsAbstractFactory,
IConstraintsAbstractFactory constraintsAbstractFactory,
ICrossJoinElementsAbstractFactory crossJoinElementsAbstractFactory,
ICrossJoinsAbstractFactory crossJoinsAbstractFactory,
IDependenciesAbstractFactory dependenciesAbstractFactory,
IIndexElementsAbstractFactory indexElementsAbstractFactory,
IIndicesAbstractFactory indicesAbstractFactory,
IObjectiveFunctionsAbstractFactory objectiveFunctionsAbstractFactory,
IParameterElementsAbstractFactory parameterElementsAbstractFactory,
IParametersAbstractFactory parametersAbstractFactory,
IVariablesAbstractFactory variablesAbstractFactory,
IHM1BInputContext HM1BInputContext,
HM1BEncodingEnum HM1BEncodingEnum)
{
IHM1BModel model = null;
try
{
model = HM1BEncodingEnum switch
{
HM1BEncodingEnum.E100 => new HM1B100Model(
constraintElementsAbstractFactory,
constraintsAbstractFactory,
crossJoinElementsAbstractFactory,
crossJoinsAbstractFactory,
dependenciesAbstractFactory,
indexElementsAbstractFactory,
indicesAbstractFactory,
objectiveFunctionsAbstractFactory,
parameterElementsAbstractFactory,
parametersAbstractFactory,
variablesAbstractFactory,
HM1BInputContext),
HM1BEncodingEnum.E110 => new HM1B110Model(
constraintElementsAbstractFactory,
constraintsAbstractFactory,
crossJoinElementsAbstractFactory,
crossJoinsAbstractFactory,
dependenciesAbstractFactory,
indexElementsAbstractFactory,
indicesAbstractFactory,
objectiveFunctionsAbstractFactory,
parameterElementsAbstractFactory,
parametersAbstractFactory,
variablesAbstractFactory,
HM1BInputContext),
HM1BEncodingEnum.E111 => new HM1B111Model(
constraintElementsAbstractFactory,
constraintsAbstractFactory,
crossJoinElementsAbstractFactory,
crossJoinsAbstractFactory,
dependenciesAbstractFactory,
indexElementsAbstractFactory,
indicesAbstractFactory,
objectiveFunctionsAbstractFactory,
parameterElementsAbstractFactory,
parametersAbstractFactory,
variablesAbstractFactory,
HM1BInputContext),
{ } => throw new ArgumentException(nameof(HM1BEncodingEnum)),
};
