-
Alexandre Duret-Lutz authored
* spot/twaalgos/determinize.hh: Add documentaion and rename options. * spot/twaalgos/determinize.cc: Rename options as well.
4635ce44
* spot/twaalgos/determinize.hh: Add documentaion and rename options. * spot/twaalgos/determinize.cc: Rename options as well.