<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 03/21/2013 04:11 AM, Xiangrong Fang
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAP93jB1-nZ=q7UyRoOfo3VgFA4aF0BDdZ0eigggiKHtDs4sX8Q@mail.gmail.com"
      type="cite"><br>
      <span style="font-family:courier new,monospace">Now I don't know
        how to write an enumerator for it. ...<br>
      </span></blockquote>
    Syntax or algorithm ? <br>
    <br>
    -Michael<br>
    <br>
  </body>
</html>