diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-05 15:42:52 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-05 15:42:52 +1000 |
commit | 7b3adda108b2f0d9d5611b184cb525bb9436f7f5 (patch) | |
tree | c8c6098c827e466147bb5e6f8e3a0f35310c0c07 /impl/systems/generate-long.py | |
parent | 785d762d4f5d69e3c89855f68cb0654aace4608d (diff) |
Change the set to use a std::set for now
This should perform better in cases where we have smaller sets.
Diffstat (limited to 'impl/systems/generate-long.py')
0 files changed, 0 insertions, 0 deletions