diff options
| -rw-r--r-- | cacount.cpp | 6 |
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; } |