X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FAtom.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2FAtom.java;h=daa3d495e75c50a6dc04b6f31ccd7b23c1bc116e;hp=fd91496cfa7fd823b9f9d8ef8117bcc013544f7e;hb=2c1c0293545f3d12c23220fd05c663e6aa3f3de1;hpb=111166986ad83b54d0cae5c03c2304d23e332f29 diff --git a/src/edu/berkeley/sbp/Atom.java b/src/edu/berkeley/sbp/Atom.java index fd91496..daa3d49 100644 --- a/src/edu/berkeley/sbp/Atom.java +++ b/src/edu/berkeley/sbp/Atom.java @@ -13,15 +13,15 @@ import edu.berkeley.sbp.*; *

* This class is a topology over itself (yes, that's sort of Frege'd * up) so that Atoms can be intersected and unioned with each other - * to result in other Atom's (rather than raw Topology's, which + * to result in other Atom's (rather than raw Topology's, which * are not Elements). If you want the latter, use the * getTokenTopology() method. *

*/ -public abstract class Atom extends Element implements Topology> { +public abstract class Atom extends Element implements Topology> { /** the set (topology) of tokens that can match this element */ - public abstract Topology getTokenTopology(); + public abstract Topology getTokenTopology(); StringBuffer toString(StringBuffer sb) { sb.append(this); return sb; }