alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltl2tgba, ltldo: add a --negate option

Browse source 
Suggested by Victor Khomenko.

* bin/ltl2tgba.cc, bin/ltldo.cc: Implement it.
* doc/org/hierarchy.org: Use it.
* tests/core/ltldo2.test: Test it.
* bin/common_output.cc: Typo.
* NEWS: Mention the new option.
This commit is contained in:
Alexandre Duret-Lutz 2019-09-22 22:01:46 +02:00
parent b91ba58bbe
commit cfd888076c
6 changed files with 56 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/hierarchy.org
View file

@ -646,9 +646,7 @@ complementation ourselves:
#+NAME: hier-persistence-2
#+BEGIN_SRC sh :exports code
ltlfilt --negate -f FGa |
ltl2tgba -D |
autfilt --complement -d
ltl2tgba --negate -D FGa | autfilt --complement -d
#+END_SRC
#+BEGIN_SRC dot :file hier-persistence-2.svg :var txt=hier-persistence-2 :exports results
$txt