add canon program option to test canonicalisation

1 files changed, 6 insertions, 0 deletions

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;
 }