POLICY SCHEDULE VERIFICATION METHOD AND APPARATUS

A method for enumerating sets of concurrent events handles single-shot events and recurring events. The method involves creating a data structure having records for time periods. The time periods begin and end on overall start and end times of scheduled events. In preferred embodiments the method creates the data structure by collapsing together master schedules for a plurality of resources. The method may create the master schedules by collapsing together mini-schedules of different priorities. The method can produce a minimal list of sets of concurrent events that will occur according to a universal master schedule in a form suitable for processing by an automatic validation system.