This commit is contained in:
Laurent Perron
2022-01-11 16:22:43 +01:00
parent 1615d1956c
commit 42ae5dfd9c

View File

@@ -488,7 +488,7 @@ public class NetworkRoutingSat
tmpVars.Add(nodeVars[i]);
tmpVars.Add(nodeVars[i + 1]);
tmpVars.Add(arcVars[i]);
var table = cpModel.AddAllowedAssignments(tmpVars, arcs);
cpModel.AddAllowedAssignments(tmpVars).AddTuples(arcs);
}
var demand = _demands[demandIndex];
@@ -712,7 +712,7 @@ public class NetworkRoutingSat
pathCount++;
}
var pathCt = cpModel.AddAllowedAssignments(pathVars[demandIndex], tuples);
cpModel.AddAllowedAssignments(pathVars[demandIndex]).AddTuples(tuples);
}
var trafficVars = new List<IntVar>(numArcs);