--- 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)