Alexandre Duret-Lutz e4ecc2d465 simplify: add four simplification rules for GF and FG ... GF(a|Xb) = GF(a|b) GF(a|Fb) = GF(a|b) FG(a&Xb) = FG(a&b) FG(a&Gb) = FG(a&b) * src/ltlvisit/simplify.cc: Implement them. * NEWS, doc/tl/tl.tex: Document them. * src/ltltest/reduccmp.test: Test then.		2013-01-11 17:16:17 +01:00
..
tl	simplify: add four simplification rules for GF and FG	2013-01-11 17:16:17 +01:00
.cvsignore	more files to ignore	2003-07-15 11:51:32 +00:00
.gitignore	more files to ignore	2011-01-27 21:47:47 +01:00
dot.in	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
Doxyfile.in	Remove spotref.pdf.	2011-11-28 15:22:48 +01:00
footer.html	* doc/footer.html: New file, link to RefDocComments on the wiki.	2004-07-09 14:51:56 +00:00
mainpage.dox	* doc/mainpage.dox: Use a better title.	2012-06-04 18:42:55 +02:00
Makefile.am	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00