Alexandre Duret-Lutz b2de0136b2 Add a has_lbt_atomic_props() method to LTL formulas. ... * src/ltlast/formula.hh (has_lbt_atomic_props): New method. * src/ltlast/formula.cc (printprops): Display it. * src/ltlast/atomic_prop.cc: Update it. * src/bin/ltlcheck.cc, src/bin/genltl.cc: Use it. * doc/tl/tl.tex: Menton has_lbt_atomic_props().		2012-10-14 17:42:25 +02:00
..
tl	Add a has_lbt_atomic_props() method to LTL formulas.	2012-10-14 17:42:25 +02: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