Matthias Hochsteger 1e20c1860b 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:34:19 +02:00
..
2024-09-27 11:27:41 +02:00
2024-07-20 10:25:45 +02:00
2024-10-01 13:34:19 +02:00
2024-09-28 20:29:22 +02:00
2024-07-16 13:03:49 +02:00