a bit more efficiency

This commit is contained in:
Ward Wouts 2002-08-19 14:03:14 +00:00
parent 84cdc859de
commit bf12f733e2

View file

@ -227,10 +227,9 @@ def run_list
while(edges.length>0) while(edges.length>0)
print "edges leng: ", @set["edges"].length, "\n" if Debuglevel > 0 print "edges leng: ", @set["edges"].length, "\n" if Debuglevel > 0
lower = edges[0] lower = edges.delete_at(0)
upper = edges[1] upper = edges.delete_at(0)
print "Lower: \"#{lower}\" Upper: \"#{upper}\"\n" if Debuglevel > 0 print "Lower: \"#{lower}\" Upper: \"#{upper}\"\n" if Debuglevel > 0
edges = edges.slice(2..edges.length)
if ((lower.to_s <=> '(')!=0 and if ((lower.to_s <=> '(')!=0 and
(upper.to_s <=> ')')!=0 and (upper.to_s <=> ')')!=0 and