• Thibaud Michaud's avatar
    Adding function to canonicalize an automaton. · 1995602d
    Thibaud Michaud authored
    * src/tgbaalgos/are_isomorphic.cc, src/tgbaalgos/are_isomorphic.hh,
    src/bin/autfilt.cc: are_isomorphic now uses canonicalize. It returns a
    bool, because the mapping cannot be deduced easily from the
    canonicalized automaton.
    * src/graph/graph.hh: Add equality operator to trans_storage_t
    for easy comparison of transition vectors.
    * src/tgba/tgbagraph.hh: Add equality operator to tgba_graph_trans_data
    and to tgba_digraph.
    * src/tgbaalgos/canonicalize.cc, src/tgbaalgos/canonicalize.hh:
    New files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatest/isomorph.test: Test them.
    1995602d
canonicalize.hh 1.13 KB