diff -r 902326e1615a -r 99f4459d9bb6 Spiral.scala --- a/Spiral.scala Wed Mar 13 13:14:38 2019 +0000 +++ b/Spiral.scala Wed Mar 13 13:33:54 2019 +0000 @@ -303,16 +303,6 @@ val anatomy = bspill(simp_res) //track if the number of regular expressions exceeds those in the PD set(remember PD means the pders over A*) if(f(anatomy, pd) == false){ - /*println("regular expression") - println(regx_tree(r)) - println("string at " + i) - println(s) - println("partial derivatives") - (pd.foreach(a => println(regx_tree(a)))) - println("simp result") - println(bregx_tree(simp_res)) - println("bspill result") - (anatomy.foreach(a => println(regx_tree(a))))*/ println(size(berase(syncsimp_res))) println(size(berase(simp_res))) println(anatomy.map(size).sum)