1.1 --- a/tools/lemon-0.x-to-1.x.sh	Tue Oct 28 14:49:18 2008 +0000
     1.2 +++ b/tools/lemon-0.x-to-1.x.sh	Tue Oct 28 18:33:51 2008 +0100
     1.3 @@ -14,27 +14,36 @@
     1.4      TMP=`mktemp`
     1.5      sed -e "s/undirected graph/_gr_aph_label_/g"\
     1.6          -e "s/undirected edge/_ed_ge_label_/g"\
     1.7 -        -e "s/graph_/_gr_aph_label__/g"\
     1.8 -        -e "s/_graph/__gr_aph_label_/g"\
     1.9          -e "s/UGraph/_Gr_aph_label_/g"\
    1.10 -        -e "s/uGraph/_gr_aph_label_/g"\
    1.11 -        -e "s/ugraph/_gr_aph_label_/g"\
    1.12 +        -e "s/u[Gg]raph/_gr_aph_label_/g"\
    1.13 +        -e "s/\<Graph\>/_Digr_aph_label_/g"\
    1.14 +        -e "s/\<graph\>/_digr_aph_label_/g"\
    1.15 +        -e "s/\<Graphs\>/_Digr_aph_label_s/g"\
    1.16 +        -e "s/\<graphs\>/_digr_aph_label_s/g"\
    1.17 +        -e "s/_Graph/__Gr_aph_label_/g"\
    1.18 +        -e "s/\([Gg]\)raph\([a-z_]\)/_\1r_aph_label_\2/g"\
    1.19 +        -e "s/\([a-z_]\)graph/\1_gr_aph_label_/g"\
    1.20          -e "s/Graph/_Digr_aph_label_/g"\
    1.21          -e "s/graph/_digr_aph_label_/g"\
    1.22          -e "s/UEdge/_Ed_ge_label_/g"\
    1.23 -        -e "s/uEdge/_ed_ge_label_/g"\
    1.24 -        -e "s/uedge/_ed_ge_label_/g"\
    1.25 +        -e "s/u[Ee]dge/_ed_ge_label_/g"\
    1.26          -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\
    1.27 +        -e "s/\<Edge\>/_Ar_c_label_/g"\
    1.28 +        -e "s/\<edge\>/_ar_c_label_/g"\
    1.29 +        -e "s/\<Edges\>/_Ar_c_label_s/g"\
    1.30 +        -e "s/\<edges\>/_ar_c_label_s/g"\
    1.31 +        -e "s/_Edge/__Ed_ge_label_/g"\
    1.32 +        -e "s/Edge\([a-z_]\)/_Ed_ge_label_\1/g"\
    1.33 +        -e "s/edge\([a-z_]\)/_ed_ge_label_\1/g"\
    1.34 +        -e "s/\([a-z_]\)edge/\1_ed_ge_label_/g"\
    1.35          -e "s/Edge/_Ar_c_label_/g"\
    1.36          -e "s/edge/_ar_c_label_/g"\
    1.37 -        -e "s/ANode/_Re_d_label_/g"\
    1.38 -        -e "s/BNode/_Blu_e_label_/g"\
    1.39 -        -e "s/A-Node/_Re_d_label_/g"\
    1.40 -        -e "s/B-Node/_Blu_e_label_/g"\
    1.41 -        -e "s/anode/_re_d_label_/g"\
    1.42 -        -e "s/bnode/_blu_e_label_/g"\
    1.43 -        -e "s/aNode/_re_d_label_/g"\
    1.44 -        -e "s/bNode/_blu_e_label_/g"\
    1.45 +        -e "s/A[Nn]ode/_Re_d_label_/g"\
    1.46 +        -e "s/B[Nn]ode/_Blu_e_label_/g"\
    1.47 +        -e "s/A-[Nn]ode/_Re_d_label_/g"\
    1.48 +        -e "s/B-[Nn]ode/_Blu_e_label_/g"\
    1.49 +        -e "s/a[Nn]ode/_re_d_label_/g"\
    1.50 +        -e "s/b[Nn]ode/_blu_e_label_/g"\
    1.51          -e "s/_Digr_aph_label_/Digraph/g"\
    1.52          -e "s/_digr_aph_label_/digraph/g"\
    1.53          -e "s/_Gr_aph_label_/Graph/g"\
    1.54 @@ -48,6 +57,8 @@
    1.55          -e "s/_Blu_e_label_/Blue/g"\
    1.56          -e "s/_re_d_label_/red/g"\
    1.57          -e "s/_blu_e_label_/blue/g"\
    1.58 +        -e "s/DigraphToEps/GraphToEps/g"\
    1.59 +        -e "s/digraphToEps/graphToEps/g"\
    1.60          -e "s/\<DefPredMap\>/SetPredMap/g"\
    1.61          -e "s/\<DefDistMap\>/SetDistMap/g"\
    1.62          -e "s/\<DefReachedMap\>/SetReachedMap/g"\