- public HashSet<Element> walk() {
- HashSet<Element> ret = new HashSet<Element>();
- walk(start0, ret);
- return ret;
- }
-
- /*
- public String toString() {
- StringBuffer sb = new StringBuffer();
- for(Element e : walk())
- if (e instanceof Union)
- ((Union)e).toString(sb);
- return sb.toString();
- }
- */