diff options
| author | Jan Huwald <jh@sotun.de> | 2013-06-25 12:58:01 (GMT) |
|---|---|---|
| committer | Jan Huwald <jh@sotun.de> | 2013-06-25 12:58:01 (GMT) |
| commit | 2f7d24215ec57f5376f06e4cc3d8136a6e26ed28 (patch) | |
| tree | fd062e7d3eeadaabd93c4efcd5c59637078bc53b | |
| parent | 98117566229c24d84dc15f1d794fba88dd40da4a (diff) | |
.
| -rw-r--r-- | cacount.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cacount.cpp b/cacount.cpp index 72134e1..3cda3d9 100644 --- a/cacount.cpp +++ b/cacount.cpp @@ -8,7 +8,6 @@ #include <iostream> #include <list> #include <map> -#include <set> #include <thread> #include <boost/integer.hpp> @@ -129,7 +128,6 @@ void cycleStat(Trans &t, Color &c, pbitset &reachable) { explicit Stat() : basin(0), len(0), eden(0), totalBasin(0) {} } __attribute__((packed)); map<State, Stat> cycStat; - set<State> redCycleCounted; // Is this cycle the canonical one? // How big is the basin of attraction? |