• Alexandre Duret-Lutz's avatar
    More documentation. · fd98345c
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/randomgraph.hh: Document the fact that adding
    acceptance conditions to the graph may generate graphs that do not
    have any accepting cycle.
To find the state of this project's repository at the time of any of these versions, check out the tags..
ChangeLog 384 KB