equal
deleted
inserted
replaced
689 println("Partial searching: ") |
689 println("Partial searching: ") |
690 enum(2, "abc").map(tests_ders_bsimp(strs(1, "abc"))). |
690 enum(2, "abc").map(tests_ders_bsimp(strs(1, "abc"))). |
691 flatten.toSet.flatten.minBy(a => asize(a._1)) |
691 flatten.toSet.flatten.minBy(a => asize(a._1)) |
692 |
692 |
693 // tests about good |
693 // tests about good |
694 def good (a: ARexp) : Boolean = a match { |
694 def good(a: ARexp) : Boolean = a match { |
695 case AZERO => false |
695 case AZERO => false |
696 case AONE(_) => true |
696 case AONE(_) => true |
697 case APRED(_, _, _) => true |
697 case APRED(_, _, _) => true |
698 case AALTS(_, Nil) => false |
698 case AALTS(_, Nil) => false |
699 case AALTS(_, rs) => rs.forall(good(_)) |
699 case AALTS(_, rs) => rs.forall(good(_)) |