Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Brute-force computation of all possible transitions of a process.
Enumerates all events in Sigma
.
Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Brute-force computation of all possible transitions of a process.
Enumerates all events in Sigma
.