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

* spot/twaalgos/parity.hh: Fix typo in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-01-08 11:35:59 +01:00
parent bd6dc7a806
commit abe4e12cc9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/parity.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement // Copyright (C) 2016-2018 Laboratoire de Recherche et Développement
// de l'Epita (LRDE). // de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -115,7 +115,7 @@ namespace spot
/// \brief Colorize an automaton with parity acceptance /// \brief Colorize an automaton with parity acceptance
/// ///
/// An automaton is said colored iff all the transitions belong to exactly one /// An automaton is said colored iff all the transitions belong to exactly one
/// acceptance set. The algorithm achieves thiat by removing superfluous /// acceptance set. The algorithm achieves that by removing superfluous
/// acceptance marks. It may introduce a new set to mark the transitions with /// acceptance marks. It may introduce a new set to mark the transitions with
/// no acceptance sets and a second set may be introduced to keep the style. /// no acceptance sets and a second set may be introduced to keep the style.
/// The input must be an automaton with a parity acceptance, otherwise an /// The input must be an automaton with a parity acceptance, otherwise an