diff -r 2b5496c62ccd -r 4f1431aeef42 tools/lemon-0.x-to-1.x.sh --- a/tools/lemon-0.x-to-1.x.sh Mon Jan 12 08:18:04 2009 +0100 +++ b/tools/lemon-0.x-to-1.x.sh Mon Jan 12 09:53:12 2009 +0100 @@ -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