| changeset 753 | d94fdbef1a4f |
| parent 733 | 022e2cb1668d |
| 752:c0bdd4ad69ca | 753:d94fdbef1a4f |
|---|---|
2 // sets of states) |
2 // sets of states) |
3 // |
3 // |
4 |
4 |
5 // load dfas |
5 // load dfas |
6 import $file.dfa, dfa._ |
6 import $file.dfa, dfa._ |
7 |
|
8 |
7 |
9 |
8 |
10 // return an empty set, when a parial function is not defined |
9 // return an empty set, when a parial function is not defined |
11 import scala.util.Try |
10 import scala.util.Try |
12 def applyOrElse[A, B](f: A :=> Set[B], x: A) : Set[B] = |
11 def applyOrElse[A, B](f: A :=> Set[B], x: A) : Set[B] = |