diff -r 9b082b3fb33f -r a1155a9e8e09 tools/lemon-0.x-to-1.x.sh --- a/tools/lemon-0.x-to-1.x.sh Mon Jan 12 12:26:02 2009 +0000 +++ b/tools/lemon-0.x-to-1.x.sh Mon Jan 12 13:18:03 2009 +0000 @@ -92,6 +92,30 @@ -e "s/\/loggerBoolMap/g"\ -e "s/\/Box/g"\ -e "s/\/readNautyGraph/g"\ + -e "s/\/ReverseDigraph/g"\ + -e "s/\/reverseDigraph/g"\ + -e "s/\/SubDigraph/g"\ + -e "s/\/subDigraph/g"\ + -e "s/\/SubGraph/g"\ + -e "s/\/subGraph/g"\ + -e "s/\/FilterNodes/g"\ + -e "s/\/filterNodes/g"\ + -e "s/\/FilterArcs/g"\ + -e "s/\/filterArcs/g"\ + -e "s/\/Undirector/g"\ + -e "s/\/undirector/g"\ + -e "s/\/ResidualDigraph/g"\ + -e "s/\/residualDigraph/g"\ + -e "s/\/SplitNodes/g"\ + -e "s/\/splitNodes/g"\ + -e "s/\/SubGraph/g"\ + -e "s/\/subGraph/g"\ + -e "s/\/FilterNodes/g"\ + -e "s/\/filterNodes/g"\ + -e "s/\/FilterEdges/g"\ + -e "s/\/filterEdges/g"\ + -e "s/\/Orienter/g"\ + -e "s/\/orienter/g"\ <$i > $TMP mv $TMP $i done