scripts/rename-graphs
changeset 2560 635e7985be46
parent 2558 e70b52a8cd57
     1.1 --- a/scripts/rename-graphs	Tue Jan 29 03:39:05 2008 +0000
     1.2 +++ b/scripts/rename-graphs	Tue Feb 05 11:03:55 2008 +0000
     1.3 @@ -6,8 +6,8 @@
     1.4  sed -e "s/bipartite undirected graph/bipartite graph/g"\
     1.5  	-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__"\
     1.8 -	-e "s/_graph/__gr_aph_label_"\
     1.9 +	-e "s/graph_/_gr_aph_label__/g"\
    1.10 +	-e "s/_graph/__gr_aph_label_/g"\
    1.11  	-e "s/UGraph/_Gr_aph_label_/g"\
    1.12  	-e "s/uGraph/_gr_aph_label_/g"\
    1.13  	-e "s/ugraph/_gr_aph_label_/g"\
    1.14 @@ -16,6 +16,7 @@
    1.15  	-e "s/UEdge/_Ed_ge_label_/g"\
    1.16  	-e "s/uEdge/_ed_ge_label_/g"\
    1.17  	-e "s/uedge/_ed_ge_label_/g"\
    1.18 +	-e "s/IncEdgeIt/_In_cEd_geIt_label_/g"\
    1.19  	-e "s/Edge/_Ar_c_label_/g"\
    1.20  	-e "s/edge/_ar_c_label_/g"\
    1.21  	-e "s/ANode/_Re_d_label_/g"\
    1.22 @@ -34,6 +35,7 @@
    1.23  	-e "s/_ar_c_label_/arc/g"\
    1.24  	-e "s/_Ed_ge_label_/Edge/g"\
    1.25  	-e "s/_ed_ge_label_/edge/g"\
    1.26 +	-e "s/_In_cEd_geIt_label_/IncEdgeIt/g"\
    1.27  	-e "s/_Re_d_label_/Red/g"\
    1.28  	-e "s/_Blu_e_label_/Blue/g"\
    1.29  	-e "s/_re_d_label_/red/g"\