fjern/state-machine-optimizer — Issue #1: Rules
Author: fjern
Created: 2012-01-03 18:10:00+00:00
State: open

1. Sprzeczne AND (tautologiczne OR?)
2. not-feasible-branch-removal
3. same-arg-brach-removal
4. statenum-wildcard

5. rule-collapse (-1)

6. trivial-and(-or) [?]
7. if/case-interchange [?]
8. or-collapse [?]
9. and-collapse [?]