From f9fb52f365f2354d2133a05e7dee92eb8edc5ec4 Mon Sep 17 00:00:00 2001
From: Jan Huwald <jh@sotun.de>
Date: Tue, 25 Jun 2013 14:58:09 +0200
Subject: add canon program option to test canonicalisation


diff --git a/cacount.cpp b/cacount.cpp
index 3cda3d9..5d00af0 100644
--- a/cacount.cpp
+++ b/cacount.cpp
@@ -206,5 +206,11 @@ int main(int argc, char **argv) {
     findCycle(*t, *c);
     cycleStat(*t, *c, *r);
   }
+  if (!strcmp(argv[2], "canon")) {
+    assert(argc == 4);
+    State s = atoi(argv[3]);
+    for (auto i : {(StateIter) s, (StateIter) canonize(s), acanonize(s)})
+      cout << bitset<logState>(i) << " " << uint64_t(i) << endl;
+  }
   return 0;
 }
-- 
cgit v0.10.1