• Alexandre Duret-Lutz's avatar
    safra: rename as determinize · f9252aa7
    Alexandre Duret-Lutz authored
    * spot/twaalgos/safra.cc, spot/twaalgos/safra.hh: Rename as...
    * spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh: ... these.
    * spot/twaalgos/Makefile.am, tests/core/safra.cc: Adjust.
    f9252aa7
safra.cc 4.14 KB