-
Erwan Jahier authored
Parent-Version: 0.41 Version-Log: Make sure that n formula are drawn when even numeric failure occurs. To do that, I recursively call draw_n_p_formula until the required number of outputs have been generated. Also fix a bug where my code was not handling cases where several formulas corresponding to the same origin and target nodes (Lutin probably won't generate such arcs explicitely, but it does implicitely via epsilon transitions). The fix consist in adding formula in wtree types instead of maintaining a table of formula indexed by node list pairs. The env_state.formula_table is thus no longer needed. Project-Description: Lurette
46927269