-
Alexandre Duret-Lutz authored
* spot/twaalgos/degen.cc (degeneralize, partial_degeneralize): Here. * spot/twaalgos/degen.hh: Mention it.
6a988f68
* spot/twaalgos/degen.cc (degeneralize, partial_degeneralize): Here. * spot/twaalgos/degen.hh: Mention it.