Antoine Martin c71691659b tl: implement suffix operator normal form ... * spot/tl/Makefile.am: New sonf files * spot/tl/sonf.cc, spot/tl/sonf.hh: Here. * python/spot/impl.i: include sonf.hh header * doc/spot.bib: add entry for the SONF paper * tests/Makefile.am: new python tests * tests/python/formulas.ipynb: show sample usage * tests/python/sonf.py: test automata equivalence before/after SONF * NEWS: mention the change		2022-03-04 17:23:58 +01:00
..
.gitignore	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
apcollect.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
apcollect.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
contain.cc	translator: add tls-max-states option	2020-09-18 09:41:29 +02:00
contain.hh	translator: add tls-max-states option	2020-09-18 09:41:29 +02:00
declenv.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
declenv.hh	use more override and final keywords	2016-02-16 11:59:00 +01:00
defaultenv.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
defaultenv.hh	use more override and final keywords	2016-02-16 11:59:00 +01:00
dot.cc	tl: fix AST rendering of Star/FStar nodes	2021-11-05 12:17:32 +01:00
dot.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
environment.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
exclusive.cc	exclusive_ap::constrain does not improve determism	2018-09-26 11:35:19 +02:00
exclusive.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
formula.cc	formula: catch min/max overflows at construction	2021-11-18 22:03:23 +01:00
formula.hh	formula: is_literal should be const	2021-12-02 17:42:59 +01:00
hierarchy.cc	hierarchy: add a new way to check DBA-realizability via DPA	2019-06-12 23:38:17 +02:00
hierarchy.hh	hierarchy: add a new way to check DBA-realizability via DPA	2019-06-12 23:38:17 +02:00
length.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
length.hh	* spot/tl/length.hh: Fix comment.	2016-08-15 14:57:30 +02:00
ltlf.cc	from-ltlf: never output strong_X	2019-09-24 10:47:23 +02:00
ltlf.hh	bib: more references	2022-01-14 15:52:49 +01:00
Makefile.am	tl: implement suffix operator normal form	2022-03-04 17:23:58 +01:00
mark.cc	introduce op::strong_X	2019-09-23 17:01:28 +02:00
mark.hh	move the sanity tests in tests/sanity/	2016-01-05 17:20:51 +01:00
mutation.cc	introduce op::strong_X	2019-09-23 17:01:28 +02:00
mutation.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
nenoform.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
nenoform.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
parse.hh	* spot/tl/parse.hh (fix_utf8_locations): Fix documentation.	2017-02-08 10:51:19 +01:00
print.cc	introduce op::strong_X	2019-09-23 17:01:28 +02:00
print.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
randomltl.cc	implement SVA's first_match operator	2019-05-06 15:11:30 +02:00
randomltl.hh	randomltl: avoid #define	2018-05-16 18:35:36 +02:00
relabel.cc	relabel_bse: improve handling of n-ary operators	2020-04-12 11:55:53 +02:00
relabel.hh	tl: implement relabel_apply()	2019-05-18 11:22:52 +02:00
remove_x.cc	include config.h in all *.cc files	2018-02-21 17:59:09 +01:00
remove_x.hh	use a bibtex file to collect all references in Doxygen	2019-06-14 21:02:27 +02:00
simplify.cc	simplify: fix some discrepancies between Intel and ARM	2021-10-03 00:57:15 +02:00
simplify.hh	translator: add tls-max-states option	2020-09-18 09:41:29 +02:00
snf.cc	introduce op::strong_X	2019-09-23 17:01:28 +02:00
snf.hh	use a bibtex file to collect all references in Doxygen	2019-06-14 21:02:27 +02:00
sonf.cc	tl: implement suffix operator normal form	2022-03-04 17:23:58 +01:00
sonf.hh	tl: implement suffix operator normal form	2022-03-04 17:23:58 +01:00
unabbrev.cc	fix invalid iterator handling, reported by -D_GLIBCXX_DEBUG	2020-04-14 23:24:13 +02:00
unabbrev.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00