Skip to content
  • Alexandre Duret-Lutz's avatar
    tgba_complete: rename as complete and export in Python · 5e07e838
    Alexandre Duret-Lutz authored
    * src/twaalgos/complete.cc, src/twaalgos/complete.hh
    (tgba_complete, tgba_complete_here): Rename as...
    (complete, complete_here): ... these.  Also fix useless output of
    acceptance marks on transition leading to the sink when the automaton
    does not use state-based acceptance.
    * src/tests/ikwiad.cc, src/twaalgos/dtgbacomp.cc,
    src/twaalgos/dtgbasat.cc, src/twaalgos/postproc.cc,
    src/twaalgos/product.cc: Adjust.
    * wrap/python/spot_impl.i: Export these function.
    * wrap/python/tests/automata.ipynb: Test spot.complete().
    5e07e838