Skip to content
  • Thomas Medioni's avatar
    implement dualize to complement automatons · c9d8d41f
    Thomas Medioni authored
    * NEWS: Mention the implementation
    * python/spot/impl.i: Add dualize() to python interface.
    * spot/twaalgos/ Add,hh to the build
    * spot/twaalgos/ Implement dualize() that takes an automaton
      and returns its dual
    * spot/twaalgos/dualize.hh: Implement dualize()
    * tests/ Add dualize tests to the test suite
    * tests/python/ Test cases for dualize