DSE-AllocationPattern: Multiselect for Tasks (!117) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Alexander Diewald requested to merge 3574 into master Nov 13, 2018

Enables constructing constraints with the allocation pattern where multiple tasks "t" may be defined: ForAll(t in T): Ex(t->e_1) | Ex(t->e_2) | ...
Construction code was there already.
Improved the backend code such that it could be marked green IMO.

Issue-Ref: 3574 Issue-Url: https://af3-developer.fortiss.org/issues/3574 Signed-off-by: Alexander Diewald diewald@fortiss.org

Edited Nov 13, 2018 by Alexander Diewald