X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FUnion.java;h=1d4841ff718c4aaf272a0bf83902218605458fde;hb=296d90edb29f5e6e639e055388edb514836c8d62;hp=7370a6834307c40a3e70dc98017120274475d071;hpb=77d1e5fd29be1ca529e71a4c011f5edea61588e8;p=sbp.git diff --git a/src/edu/berkeley/sbp/Union.java b/src/edu/berkeley/sbp/Union.java index 7370a68..1d4841f 100644 --- a/src/edu/berkeley/sbp/Union.java +++ b/src/edu/berkeley/sbp/Union.java @@ -36,6 +36,9 @@ public class Union extends Element implements Iterable { this.synthetic = synthetic; } + public static Union epsilon = new Union("()"); + static { epsilon.add(Sequence.empty); } + private Forest.Ref epsilonForm = null; Forest epsilonForm() { if (epsilonForm != null) return epsilonForm;