Mungojerrie  1.0
Mungojerrie
LTS Directory Reference
Directory dependency graph for LTS:
LTS

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.