Skip to content
  • Laurent XU's avatar
    misc: add spot::is_colored() · b7ef7c55
    Laurent XU authored
    This function checks whether an automaton is colored, an automaton
    is said to be colored iff all the transitions belong to exactly one
    acceptance set.
    
    * spot/twaalgos/iscolored.cc, spot/twaalgos/iscolored.hh: Here.
    * spot/twaalgos/Makefile.am: add spot/twaalgos/iscolored.{cc,hh}
    * python/spot/impl.i: add spot/twaalgos/iscolored.hh
    b7ef7c55