I like to use table-driven transition constraints. The basic design is, you have a table of valid transitions (begin state, end state) and a function that you c

I like to use table-driven transition constraints. The basic design is, you have a table of valid transitions (begin state, end state) and a function that you can write a constraint with. It's the same as other code, but with better data locality.