Union: convenience constructor
authoradam <adam@megacz.com>
Mon, 26 Mar 2007 05:46:04 +0000 (01:46 -0400)
committeradam <adam@megacz.com>
Mon, 26 Mar 2007 05:46:04 +0000 (01:46 -0400)
darcs-hash:20070326054604-5007d-3e089d18b20f66373f62eab560fb635cb764eeac.gz

src/edu/berkeley/sbp/Union.java

index 474a542..94c1fc9 100644 (file)
@@ -26,6 +26,7 @@ public class Union extends Element implements Iterable<Sequence> {
     private final List<Sequence> alternatives = new ArrayList<Sequence>();
 
     public Union(String name) { this(name, false); }
     private final List<Sequence> alternatives = new ArrayList<Sequence>();
 
     public Union(String name) { this(name, false); }
+    public Union(String name, Sequence s) { this(name, false); add(s); }
 
     /**
      *  Since every cycle in a non-degenerate grammar contains at
 
     /**
      *  Since every cycle in a non-degenerate grammar contains at