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

* NEWS: add tools for parity automata

Browse source
This commit is contained in:
Laurent XU 2017-09-27 15:17:18 +02:00
parent c379acad8a
commit a0e89652b6
1 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
NEWS
View file

@ -70,6 +70,28 @@ New in spot 2.4.0.dev (not yet released)
will work either on f or its negation.
(see https://spot.lrde.epita.fr/hierarchy.html for details).
- The new function spot::is_colored() checks if an automaton is colored
(i.e., every transition belongs to exactly one acceptance set)
- The new function spot::change_parity() can convert an automaton with parity
acceptance condition to an equivalent automaton with another type of parity
acceptance condition. The type of a parity acceptance condition states
whether it is an odd or even parity acceptance condition, and whether it is
a min or max parity acceptance condition.
- The new function spot::colorize_parity() can colorize an automaton with
a parity acceptance condition. The resulting automaton is a parity automaton
and every transition belongs to exactly one acceptance set.
- The new function spot::cleanup_parity_acceptance() can simplify the
acceptance condition of an automaton with parity acceptance condition. It
removes the unused acceptance sets and merges acceptance sets to keep the
parity acceptance condition.
- The new functions spot::parity_product() and spot::parity_product_or()
compute respectively the intersection and the union of two automata with
parity acceptance condition and keep the parity acceptance condition.
Deprecation notices:
(These functions still work but compilers emit warnings.)