• Alexandre Duret-Lutz's avatar
    sccinfo: make it easier to iterate over all SCCs · e01ab2b2
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/sccinfo.cc, src/tgbaalgos/sccinfo.hh: add
    scc_info::begin() and scc_info::end() methods to iterate over the
    node_ vector.   Tidy the scc_node structure that that its member
    are accessed via methods.
    * src/tgbaalgos/safety.cc, src/bin/ltlcross.cc: Simplify using
    this interface.
    e01ab2b2