Skip to content
  • Erwan Jahier's avatar
    lurette 0.42 Wed, 13 Mar 2002 10:29:08 +0100 by jahier · 46927269
    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