Lukas Stevens (Sep 03 2020 at 12:12): Lukas Stevens (Sep 03 2020 at 12:12):Is there any difference between using Set.filter and set comprehensions from an automation perspective?
Manuel Eberl (Sep 03 2020 at 12:15):I think there's not a lot of automation for Set.filter, if any.
Manuel Eberl (Sep 03 2020 at 12:16):I vaguely recall myself using Set.filter occasionally for some reason… maybe because of more straightforward cong/monotonicity rules. Also code generation.
Manuel Eberl (Sep 03 2020 at 12:16):But you usually have to unfold its definition for automation to do anything.
Last updated: Dec 21 2024 at 16:20 UTC