<div class="gmail_quote">On Tue, Nov 1, 2011 at 11:44, Dmitry Karpeev <span dir="ltr"><<a href="mailto:karpeev@mcs.anl.gov">karpeev@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I think I like the latter option better.</blockquote></div><br><div>I also think it's fine. We can hash if the number of string comparisons causes performance problems.</div>