33 -e "s/UEdge/_Ed_ge_label_/g"\ |
33 -e "s/UEdge/_Ed_ge_label_/g"\ |
34 -e "s/u[Ee]dge/_ed_ge_label_/g"\ |
34 -e "s/u[Ee]dge/_ed_ge_label_/g"\ |
35 -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\ |
35 -e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\ |
36 -e "s/Edge\>/_Ar_c_label_/g"\ |
36 -e "s/Edge\>/_Ar_c_label_/g"\ |
37 -e "s/\<edge\>/_ar_c_label_/g"\ |
37 -e "s/\<edge\>/_ar_c_label_/g"\ |
38 -e "s/_edge\>/_ar_c_label_/g"\ |
38 -e "s/_edge\>/__ar_c_label_/g"\ |
39 -e "s/Edges\>/_Ar_c_label_s/g"\ |
39 -e "s/Edges\>/_Ar_c_label_s/g"\ |
40 -e "s/\<edges\>/_ar_c_label_s/g"\ |
40 -e "s/\<edges\>/_ar_c_label_s/g"\ |
41 -e "s/_edges\>/_ar_c_label_s/g"\ |
41 -e "s/_edges\>/__ar_c_label_s/g"\ |
42 -e "s/\([Ee]\)dge\([a-z]\)/_\1d_ge_label_\2/g"\ |
42 -e "s/\([Ee]\)dge\([a-z]\)/_\1d_ge_label_\2/g"\ |
43 -e "s/\([a-z]\)edge/\1_ed_ge_label_/g"\ |
43 -e "s/\([a-z]\)edge/\1_ed_ge_label_/g"\ |
44 -e "s/Edge/_Ar_c_label_/g"\ |
44 -e "s/Edge/_Ar_c_label_/g"\ |
45 -e "s/edge/_ar_c_label_/g"\ |
45 -e "s/edge/_ar_c_label_/g"\ |
46 -e "s/A[Nn]ode/_Re_d_label_/g"\ |
46 -e "s/A[Nn]ode/_Re_d_label_/g"\ |
66 -e "s/_Blu_e_label_/Blue/g"\ |
66 -e "s/_Blu_e_label_/Blue/g"\ |
67 -e "s/_re_d_label_/red/g"\ |
67 -e "s/_re_d_label_/red/g"\ |
68 -e "s/_blu_e_label_/blue/g"\ |
68 -e "s/_blu_e_label_/blue/g"\ |
69 -e "s/_GR_APH_TY_PEDE_FS_label_/GRAPH_TYPEDEFS/g"\ |
69 -e "s/_GR_APH_TY_PEDE_FS_label_/GRAPH_TYPEDEFS/g"\ |
70 -e "s/_DIGR_APH_TY_PEDE_FS_label_/DIGRAPH_TYPEDEFS/g"\ |
70 -e "s/_DIGR_APH_TY_PEDE_FS_label_/DIGRAPH_TYPEDEFS/g"\ |
|
71 -e "s/\<digraph_adaptor\.h\>/adaptors.h/g"\ |
|
72 -e "s/\<digraph_utils\.h\>/core.h/g"\ |
|
73 -e "s/\<digraph_reader\.h\>/lgf_reader.h/g"\ |
|
74 -e "s/\<digraph_writer\.h\>/lgf_writer.h/g"\ |
|
75 -e "s/\<topology\.h\>/connectivity.h/g"\ |
71 -e "s/DigraphToEps/GraphToEps/g"\ |
76 -e "s/DigraphToEps/GraphToEps/g"\ |
72 -e "s/digraphToEps/graphToEps/g"\ |
77 -e "s/digraphToEps/graphToEps/g"\ |
73 -e "s/\<DefPredMap\>/SetPredMap/g"\ |
78 -e "s/\<DefPredMap\>/SetPredMap/g"\ |
74 -e "s/\<DefDistMap\>/SetDistMap/g"\ |
79 -e "s/\<DefDistMap\>/SetDistMap/g"\ |
75 -e "s/\<DefReachedMap\>/SetReachedMap/g"\ |
80 -e "s/\<DefReachedMap\>/SetReachedMap/g"\ |