4 Commits

Author	SHA1	Message	Date
bringert	9981704c5f	Finite state network generation: reimplemented getOutgoing using Data.Map to improve performance of minimize with large networks.	2005-12-29 13:33:58 +00:00
bringert	5c12a73dae	Some performance improvements in the FA generation.	2005-12-22 23:16:15 +00:00
bringert	09a705d192	Prepared for generation of finite automata in C.	2005-11-10 15:43:44 +00:00
bringert	b7609f09a5	Moved Graph and Relation stuff to separate modules. Added some QuickCheck properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.	2005-10-26 16:13:13 +00:00