Spiral.scala
changeset 1 99f4459d9bb6
parent 0 902326e1615a
child 2 cf169411b771
--- 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)