Skip to content
  • Thomas Badie's avatar
    Add a class to convert a bdd into its complement. · e75ad574
    Thomas Badie authored
    * src/misc/acccompl.cc, src/misc/acccompl.hh: Add a way to
    an acceptance condition in an automaton, into its
    complement.
    Create a method to make the reverse operation.
    * src/misc/Makefile.am: Add the new files to the compilation.
    e75ad574