From 98117566229c24d84dc15f1d794fba88dd40da4a Mon Sep 17 00:00:00 2001 From: Jan Huwald Date: Tue, 25 Jun 2013 14:55:15 +0200 Subject: use ordered map in cycleStat() to get sorted result diff --git a/cacount.cpp b/cacount.cpp index 368e325..72134e1 100644 --- a/cacount.cpp +++ b/cacount.cpp @@ -7,8 +7,8 @@ #include #include #include -#include -#include +#include +#include #include #include @@ -127,9 +127,9 @@ void cycleStat(Trans &t, Color &c, pbitset &reachable) { struct Stat { StateIter basin, len, eden, totalBasin; explicit Stat() : basin(0), len(0), eden(0), totalBasin(0) {} - }; - unordered_map cycStat; - unordered_set redCycleCounted; + } __attribute__((packed)); + map cycStat; + set redCycleCounted; // Is this cycle the canonical one? // How big is the basin of attraction? -- cgit v0.10.1