LTS Directory Reference

Directory dependency graph for 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.