spot/twaalgos/safra.cc · 1d68decaca55575ae7204aebb73c5ed88d0a4845 · Spot / Spot

Alexandre Lewkowicz authored Feb 04, 2016

* spot/twaalgos/safra.cc, spot/twaalgos/safra.hh:  Enables use to
compute successor safra state for any edge.

1d68deca

safra.cc 18.5 KB