From 567a5439c556f10af0fc808d5b902ce6f2843f01 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 24 Jul 2020 15:39:24 +0200 Subject: [PATCH] * spot/twaalgos/toparity.hh: Improve documentation. --- spot/twaalgos/toparity.hh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/toparity.hh b/spot/twaalgos/toparity.hh index a97fda0e6..3c935f095 100644 --- a/spot/twaalgos/toparity.hh +++ b/spot/twaalgos/toparity.hh @@ -90,8 +90,9 @@ namespace spot /// \brief Take an automaton with any acceptance condition and return an /// equivalent parity automaton. /// - /// The parity condition of the returned automaton is either max even or - /// max odd. + /// If the input is already a parity automaton of any kind, it is + /// returned unchanged. Otherwise a new parity automaton with max + /// odd or max even condition is created. /// /// This procedure combines many strategies in an attempt to produce /// the smallest possible parity automaton. Some of the strategies