12 do |
12 do |
13 echo Update $i... |
13 echo Update $i... |
14 TMP=`mktemp` |
14 TMP=`mktemp` |
15 sed -e "s/undirected graph/_gr_aph_label_/g"\ |
15 sed -e "s/undirected graph/_gr_aph_label_/g"\ |
16 -e "s/undirected edge/_ed_ge_label_/g"\ |
16 -e "s/undirected edge/_ed_ge_label_/g"\ |
17 -e "s/graph_/_gr_aph_label__/g"\ |
|
18 -e "s/_graph/__gr_aph_label_/g"\ |
|
19 -e "s/UGraph/_Gr_aph_label_/g"\ |
17 -e "s/UGraph/_Gr_aph_label_/g"\ |
20 -e "s/uGraph/_gr_aph_label_/g"\ |
18 -e "s/u[Gg]raph/_gr_aph_label_/g"\ |
21 -e "s/ugraph/_gr_aph_label_/g"\ |
19 -e "s/\<Graph\>/_Digr_aph_label_/g"\ |
|
20 -e "s/\<graph\>/_digr_aph_label_/g"\ |
|
21 -e "s/\<Graphs\>/_Digr_aph_label_s/g"\ |
|
22 -e "s/\<graphs\>/_digr_aph_label_s/g"\ |
|
23 -e "s/_Graph/__Gr_aph_label_/g"\ |
|
24 -e "s/\([Gg]\)raph\([a-z_]\)/_\1r_aph_label_\2/g"\ |
|
25 -e "s/\([a-z_]\)graph/\1_gr_aph_label_/g"\ |
22 -e "s/Graph/_Digr_aph_label_/g"\ |
26 -e "s/Graph/_Digr_aph_label_/g"\ |
23 -e "s/graph/_digr_aph_label_/g"\ |
27 -e "s/graph/_digr_aph_label_/g"\ |
24 -e "s/UEdge/_Ed_ge_label_/g"\ |
28 -e "s/UEdge/_Ed_ge_label_/g"\ |
25 -e "s/uEdge/_ed_ge_label_/g"\ |
29 -e "s/u[Ee]dge/_ed_ge_label_/g"\ |
26 -e "s/uedge/_ed_ge_label_/g"\ |
|
27 -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\ |
30 -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\ |
|
31 -e "s/\<Edge\>/_Ar_c_label_/g"\ |
|
32 -e "s/\<edge\>/_ar_c_label_/g"\ |
|
33 -e "s/\<Edges\>/_Ar_c_label_s/g"\ |
|
34 -e "s/\<edges\>/_ar_c_label_s/g"\ |
|
35 -e "s/_Edge/__Ed_ge_label_/g"\ |
|
36 -e "s/Edge\([a-z_]\)/_Ed_ge_label_\1/g"\ |
|
37 -e "s/edge\([a-z_]\)/_ed_ge_label_\1/g"\ |
|
38 -e "s/\([a-z_]\)edge/\1_ed_ge_label_/g"\ |
28 -e "s/Edge/_Ar_c_label_/g"\ |
39 -e "s/Edge/_Ar_c_label_/g"\ |
29 -e "s/edge/_ar_c_label_/g"\ |
40 -e "s/edge/_ar_c_label_/g"\ |
30 -e "s/ANode/_Re_d_label_/g"\ |
41 -e "s/A[Nn]ode/_Re_d_label_/g"\ |
31 -e "s/BNode/_Blu_e_label_/g"\ |
42 -e "s/B[Nn]ode/_Blu_e_label_/g"\ |
32 -e "s/A-Node/_Re_d_label_/g"\ |
43 -e "s/A-[Nn]ode/_Re_d_label_/g"\ |
33 -e "s/B-Node/_Blu_e_label_/g"\ |
44 -e "s/B-[Nn]ode/_Blu_e_label_/g"\ |
34 -e "s/anode/_re_d_label_/g"\ |
45 -e "s/a[Nn]ode/_re_d_label_/g"\ |
35 -e "s/bnode/_blu_e_label_/g"\ |
46 -e "s/b[Nn]ode/_blu_e_label_/g"\ |
36 -e "s/aNode/_re_d_label_/g"\ |
|
37 -e "s/bNode/_blu_e_label_/g"\ |
|
38 -e "s/_Digr_aph_label_/Digraph/g"\ |
47 -e "s/_Digr_aph_label_/Digraph/g"\ |
39 -e "s/_digr_aph_label_/digraph/g"\ |
48 -e "s/_digr_aph_label_/digraph/g"\ |
40 -e "s/_Gr_aph_label_/Graph/g"\ |
49 -e "s/_Gr_aph_label_/Graph/g"\ |
41 -e "s/_gr_aph_label_/graph/g"\ |
50 -e "s/_gr_aph_label_/graph/g"\ |
42 -e "s/_Ar_c_label_/Arc/g"\ |
51 -e "s/_Ar_c_label_/Arc/g"\ |
46 -e "s/_In_cEd_geIt_label_/IncEdgeIt/g"\ |
55 -e "s/_In_cEd_geIt_label_/IncEdgeIt/g"\ |
47 -e "s/_Re_d_label_/Red/g"\ |
56 -e "s/_Re_d_label_/Red/g"\ |
48 -e "s/_Blu_e_label_/Blue/g"\ |
57 -e "s/_Blu_e_label_/Blue/g"\ |
49 -e "s/_re_d_label_/red/g"\ |
58 -e "s/_re_d_label_/red/g"\ |
50 -e "s/_blu_e_label_/blue/g"\ |
59 -e "s/_blu_e_label_/blue/g"\ |
|
60 -e "s/DigraphToEps/GraphToEps/g"\ |
|
61 -e "s/digraphToEps/graphToEps/g"\ |
51 -e "s/\<DefPredMap\>/SetPredMap/g"\ |
62 -e "s/\<DefPredMap\>/SetPredMap/g"\ |
52 -e "s/\<DefDistMap\>/SetDistMap/g"\ |
63 -e "s/\<DefDistMap\>/SetDistMap/g"\ |
53 -e "s/\<DefReachedMap\>/SetReachedMap/g"\ |
64 -e "s/\<DefReachedMap\>/SetReachedMap/g"\ |
54 -e "s/\<DefProcessedMap\>/SetProcessedMap/g"\ |
65 -e "s/\<DefProcessedMap\>/SetProcessedMap/g"\ |
55 -e "s/\<DefHeap\>/SetHeap/g"\ |
66 -e "s/\<DefHeap\>/SetHeap/g"\ |