Themis: Zulässigkeitskriterien

Jedem Ereignis ist genau ein Termin und genau ein Raum zugeordnet.

Für jedes Zeitfenster und jeden Dozenten gilt, dass in dem Zeitfenster höchstens ein Ereignis mit diesem Dozenten eingeplant ist. 

Für je zwei verschiedene Ereignisse in einem Zeitfenster gilt: Sie dürfen (1) keinen Block gemeinsam haben und (2) keine SG gemeinsam haben in der Form PF-Block / WPF-Block.

Für jedes Zeitfenster und jeden Raum gilt, dass in dem Zeitfenster höchstens ein Ereignis mit diesem Raum eingeplant ist. 

Für jedes Ereignis gilt, dass die Teilnehmerzahl die Kapazität des zugeordneten Raumes nicht überschreiten darf.

Für jedes Ereignis gilt, dass (1) alle benötigten Ausstattungen im zugeordneten Raum vorhanden sein müssen, und (2) keine verbotene Ausstattung im zugeordneten Raum vorhanden sein darf.

Für jedes Ereignis gilt, dass jeder Dozent am zugeordenten Termin verfügbar ist.

Für jedes Ereignis gilt, dass der zugeordnete Raum am zugeordenten Termin verfügbar ist. 

Für jedes Ereignis gilt, dass ein als Nachfolger gekennzeichnetes Ereignis am selben Tag im nachfolgenden Zeitfenster eingeplant ist.

Für jeden Dozenten und jeden Tag gilt, dass die maximale Anzahl an Ereignissen dieses Dozenten pro Tag nicht überschritten ist.

Für jedes Ereignis gilt, dass das in der Vorplanung hart zugewiesene Zeitfenster (falls vorhanden) genau das zugeordnete Zeitfenster ist.

Für jedes Ereignis gilt, dass das zugeordnete Zeitfenster nicht in der Vorplanung ausgeschlossen wurde.

Für jedes Ereignis gilt, dass der in der Vorplanung hart zugewiesene Raum (falls vorhanden) genau der zugeordnete Raum ist.

Für jedes Ereignis gilt, dass der zugeordnete Raum nicht in der Vorplanung ausgeschlossen wurde.