From 84cefea203c3f73cd0c22ab12e7df882a7dc91ab Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Apr 2012 16:13:13 +0200 Subject: [PATCH] * src/tgbaalgos/minimize.hh: Reencode in utf-8 and wrap long lines. --- src/tgbaalgos/minimize.hh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/tgbaalgos/minimize.hh b/src/tgbaalgos/minimize.hh index e2d43f4c9..89fccc50b 100644 --- a/src/tgbaalgos/minimize.hh +++ b/src/tgbaalgos/minimize.hh @@ -1,5 +1,6 @@ -// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -60,10 +61,10 @@ namespace spot /// calling this function. tgba_explicit_number* minimize_monitor(const tgba* a); - /// \brief Minimize a Büchi automaton in the WDBA class. + /// \brief Minimize a Büchi automaton in the WDBA class. /// /// This takes a TGBA whose language is representable by - /// a Weak Deterministic Büchi Automaton, and construct + /// a Weak Deterministic Büchi Automaton, and construct /// a minimal WDBA for this language. /// /// If the input automaton does not represent a WDBA language,