X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FAtom.java;h=2589ddeabb9d435ff5e47a09531175b3d6a0d98f;hp=f5b0158f603f63ce7907361287419fd174f1e3ee;hb=b409afa0cf6d72a23703d9172812ab4fcd6a969b;hpb=5b42eef732caeaf46a147050f1c46ef12f03e21a

diff --git a/src/edu/berkeley/sbp/Atom.java b/src/edu/berkeley/sbp/Atom.java
index f5b0158..2589dde 100644
--- a/src/edu/berkeley/sbp/Atom.java
+++ b/src/edu/berkeley/sbp/Atom.java
@@ -45,5 +45,14 @@ public abstract class Atom<T extends Token> extends Element implements Topology<
         public String toString() { return "~"+a; }
     }
     
+    public static class Hack<T extends Token> extends Atom<T> {
+        private final Atom<T> a;
+        static final Topology leftright =
+            edu.berkeley.sbp.misc.CharToken.rightBrace.union(edu.berkeley.sbp.misc.CharToken.leftBrace);
+        public Hack(Atom<T> a) { this.a = a; }
+        public Topology<T> top() { return ((Topology<T>)a.top()).minus(leftright); }
+        public String toString() { return "~"+a; }
+    }
+    
 }