Mungojerrie
1.0
Mungojerrie
|
Files | |
file | LTS.cc |
Labeled transition systems (base class for automata classes). | |
file | LTS.hh [code] |
Labeled transition systems (base class for automata classes). | |
file | Parity.cc |
Parity automata. | |
file | Parity.hh [code] |
Parity automata. | |
file | Stree.cc |
Safra trees. | |
file | Stree.hh [code] |
Safra trees. | |
file | testLTS.cc |
Test program for LTS and Parity. | |