X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FAtom.java;h=55be283096ef76586322e63cff8d98b3e03ee535;hp=70c29049c6264e510b01c4e2480181a1ec89ef1a;hb=2a11d8ca5ae3af89ac2bdea58f71e463b6e4affe;hpb=6b24a8ff6410a47d7290c2b42587fd8a8c5341e8

diff --git a/src/edu/berkeley/sbp/Atom.java b/src/edu/berkeley/sbp/Atom.java
index 70c2904..55be283 100644
--- a/src/edu/berkeley/sbp/Atom.java
+++ b/src/edu/berkeley/sbp/Atom.java
@@ -30,13 +30,15 @@ public abstract class Atom<T> extends Element implements Topology<T> {
 
     // Subclasses //////////////////////////////////////////////////////////////////////////////
 
+    /** an atom which tracks the possible tokenset of some element, provided that element can only match single-token sequences */
     public static class Infer<T extends Input> extends Atom<T> {
         private final Element e;
         public Infer(Element e) { this.e = e; }
         public Topology<T> top() { return (Topology<T>)toAtom(e); }
-        public String toString() { return e.toString(); /* FIXME should be toAtom() */ }
+        public String toString() { return e.toString(); }
     }
     
+    /** an atom which tracks the inverse of some other atom */
     public static class Invert<T extends Input> extends Atom<T> {
         private final Atom<T> a;
         public Invert(Atom<T> a) { this.a = a; }