Alexandre Duret-Lutz 939f63eec9 genltl: add support for --sejk-f=n,m ... Together with the previous patch, this Fixes #353. Implementing this required to extend our interface two support two-parameter patterns. * spot/gen/formulas.cc, spot/gen/formulas.hh: Implement it. * bin/genltl.cc: Add --sejk-f. * bin/common_output.cc, bin/common_output.hh: Adjust to handle "line numbers" that are not integers (e.g., "3,2"), since those are used to display pattern parameters. * bin/ltlfilt.cc: Adjust. * python/spot/gen.i: Add support for two-parameters patterns. * tests/core/genltl.test, tests/python/gen.ipynb: Augment. * NEWS: Mention it.		2018-06-05 08:48:40 +02:00
..
__init__.py	randomltl: avoid #define	2018-05-16 18:35:36 +02:00
aux.py	python: have %%dve and %%pml honor SPOT_TMPDIR and TMPDIR	2016-07-19 14:23:27 +02:00
gen.i	genltl: add support for --sejk-f=n,m	2018-06-05 08:48:40 +02:00
impl.i	python: improve formating of double-quoted AP in MathJax	2018-05-15 17:27:21 +02:00
jupyter.py	python: add a show= keyword to display_inline()	2018-05-12 09:23:05 +02:00
ltsmin.i	skip divine tests when divine does not understand compile --help	2017-02-28 17:02:06 +01:00