Using AddNoOverlap, would like to have the model track individual overlaps

[atrauzzi]

Heads up, I'm using the C# lib, but I doubt that'll impact the answer I'm looking for! 🙂

I'm working with two sets of intervals. First set are made using model.NewOptionalIntervalVar, second set are made using model.NewIntervalVar. Overall, I have things working quite well with a AddNoOverlap using both full lists, but I'd like to enhance the model so that when it's solved, I can come back and get more granular insights into which overlaps occurred.

To accomplish this, I have started with the following:

        providerAvailabilities.ToList().ForEach((availability) =>
        {
            scheduleExclusions.ToList().ForEach((exclusion) =>
            {
                var conflicted = model.NewBoolVar($"provider-availability-exclusion-{availability.Key}-{exclusion.Key}");

                var constraint = model.AddNoOverlap(new List<IntervalVar>
                {
                    availability.Value,
                    exclusion.Value,
                });

                // ??? What would I put here to have the model set `conflicted` to `true` when they do overlap?
                //     Can I use `constraint` in any way to accomplish this?

                availabilityConflicts[(availability.Key, exclusion.Key)] = conflicted;
            });
        });

What I'm thinking is that I need to break out a conflicted boolean for each combination of availability and exclusion (I'm not worried about that getting too heavy as I will always be using a small set of data). This means that I no longer use AddNoOverlap on both full sets, but instead iterate over each providerAvailability and add a NoOverlap constraint for each permutation with scheduleExclusions.

The question is: What I should be doing with this conflicted boolean that I've made to ensure it gets a value based on whether the constraint I've created has passed or failed?

[lperron]

https://github.com/google/or-tools/blob/stable/ortools/sat/docs/scheduling.md#detecting-if-two-intervals-overlap