Modellierung
Beispiel
Zu definierende Objekte.
Mengen an Objekten definieren. Kombinationen aus diesen Mengen (basierend auf Eigenschaften zueinander) definieren. Dadurch entstehten Mengen an Paaren aus den vorherigen Mengen.
Variablen basierend auf den Paaren in den verschiedenen Mengen definieren.
Bei Nebenbedingungen beachten:
- Manche Variablen müssen aneinander gekoppelt werden. Das passiert, wenn die eine von der anderen abhängig ist. Damit werden ungültige Zustände der Variablen verhindert
- Bei Zuweisungen überprüfen, dass zum Beispiel ein Objekt nur eine Sache nur einmal hat/verwendet. Also Summe über Zeilen/Spalten überprüfen.
Erzwingen der Belegung einer binären Variable durch eine kontinuierliche Variable wie in: