Alexandre Duret-Lutz d07c66944e * src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh ... (tgba_explicit::merge_transitions): New method. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Factorize all variables (not just Next and A) when computing prime implicants, and then call merge_transitions().		2003-12-03 13:29:11 +00:00
..
.cvsignore	* src/Makefile.am (SUBDIRS): Add tgbaalgos.	2003-05-26 13:50:54 +00:00
dotty.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
dotty.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
dupexp.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
dupexp.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
emptinesscheck.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
emptinesscheck.hh	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
lbtt.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
lbtt.hh	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
ltl2tgba_fm.cc	* src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh	2003-12-03 13:29:11 +00:00
ltl2tgba_fm.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
ltl2tgba_lacim.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
ltl2tgba_lacim.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
magic.cc	* COPYING: New file.	2003-11-21 15:54:25 +00:00
magic.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
Makefile.am	* COPYING: New file.	2003-11-21 15:54:25 +00:00
reachiter.cc	* COPYING: New file.	2003-11-21 15:54:25 +00:00
reachiter.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00
save.cc	* iface/gspn/eesrg.cc, iface/gspn/eesrg.hh, iface/gspn/gspn.cc,	2003-11-28 16:34:42 +00:00
save.hh	* COPYING: New file.	2003-11-21 15:54:25 +00:00