private static void AddGoals(IDictionary <NodeId, NodeDecision> nodeDecisions, Solver.IModel solverModel)
{
foreach (var nodeDecision in nodeDecisions.Values)
{
solverModel.SetMinimizeGoal(
nodeDecisions.Values.Select(d => d.Decision).ToArray()
);
}
}
private static void AddGoals(Solver.IModel solverModel, Dictionary <A.Message, MessageDecision> msgDecisions)
{
solverModel.SetMinimizeGoal(
msgDecisions.Values.Select(d => d.Decision).ToArray()
);
}
