-
Salomon Sickert authored
Add Buchi-Degeneralization for determinisitc automata and migrate several classes to proper value classes.
df98bb30
Add Buchi-Degeneralization for determinisitc automata and migrate several classes to proper value classes.