-
Alexandre Duret-Lutz authored
state_gspn_eesrg): Compute the array of all successors of the right state beforehand, pass it to Greatspn (left automata) at once, let it compute the resulting synchronized arcs, and iterate on that result.
5d4affc5
To find the state of this project's repository at the time of any of these versions, check out the tags.