On Sat, Jun 28, 2014 at 2:48 AM, Jonathan Wakely <jwak...@redhat.com> wrote: > I wonder if it would be better to use a sorted > vector<pair<_StateIdT,_StateIdT>> instead of a map, for improved > memory footprint and runtime speed, but that can be changed later.
In this case, we keep inserting (__m[__u] = __id) and looking up (__m.count()) the container in a crossover order, which required a map to minimize both's complexity. -- Regards, Tim Shen
