301 val der_res = brder(all_chars(i), old) |
301 val der_res = brder(all_chars(i), old) |
302 val simp_res = br_simp(der_res) |
302 val simp_res = br_simp(der_res) |
303 val anatomy = bspill(simp_res) |
303 val anatomy = bspill(simp_res) |
304 //track if the number of regular expressions exceeds those in the PD set(remember PD means the pders over A*) |
304 //track if the number of regular expressions exceeds those in the PD set(remember PD means the pders over A*) |
305 if(f(anatomy, pd) == false){ |
305 if(f(anatomy, pd) == false){ |
306 /*println("regular expression") |
|
307 println(regx_tree(r)) |
|
308 println("string at " + i) |
|
309 println(s) |
|
310 println("partial derivatives") |
|
311 (pd.foreach(a => println(regx_tree(a)))) |
|
312 println("simp result") |
|
313 println(bregx_tree(simp_res)) |
|
314 println("bspill result") |
|
315 (anatomy.foreach(a => println(regx_tree(a))))*/ |
|
316 println(size(berase(syncsimp_res))) |
306 println(size(berase(syncsimp_res))) |
317 println(size(berase(simp_res))) |
307 println(size(berase(simp_res))) |
318 println(anatomy.map(size).sum) |
308 println(anatomy.map(size).sum) |
319 println(pd.map(size).sum) |
309 println(pd.map(size).sum) |
320 } |
310 } |