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"\