Matthias Hochsteger b1182e48b8 Fix RemoveIllegalElements
- Only search in relevant domain
- Break if number of illegal elements increases (avoids infinite loop)
  -> This shouldn't actually happen and is just a workaround until the
  optimization routines are fixed
2024-10-01 13:28:16 +02:00
..
2024-09-27 11:42:11 +02:00
2024-07-20 10:25:45 +02:00
2024-10-01 13:28:16 +02:00
2024-09-23 13:36:44 +02:00
2024-07-16 13:03:49 +02:00