• Alexandre Duret-Lutz's avatar
    Declare the sba class in its own header. · 37a6b601
    Alexandre Duret-Lutz authored
    * src/tgba/sba.hh: New file, extrated from...
    * src/tgba/tgbaexplicit.hh: ... here.  Also rename
    sba_explicit::is_accepting as sba_explicit::state_is_accepting for
    consistency with tgba_sba_proxy.
    * src/tgbatest/explicit2.cc: Adjust to the renaming.
    * src/tgba/Makefile.am: Add sba.hh.
    37a6b601
Makefile.am 2.12 KB