From 559f49c7d5ab226d47e3599f1f978865ca5da9d4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 26 Feb 2014 16:33:57 +0100 Subject: [PATCH] * src/dstarparse/nra2nba.cc: Fix comment. --- src/dstarparse/nra2nba.cc | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/dstarparse/nra2nba.cc b/src/dstarparse/nra2nba.cc index f4472dc5c..06ef6cdd0 100644 --- a/src/dstarparse/nra2nba.cc +++ b/src/dstarparse/nra2nba.cc @@ -1,4 +1,5 @@ -// Copyright (C) 2013 Laboratoire de Recherche et Développement de +// -*- coding: utf-8 -*- +// Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement de // l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -29,9 +30,9 @@ namespace spot // Transformation of ω-Automata: Complexity and Connection to // Second Order Logic. Section 3.4.3: Rabin to Büchi. // - // However beware that the {...,(Ei,Fi),...} pairs used by - // are the reversed compared to the {...,(Li,Ui),...} pairs - // used by several other people. We have Ei=Ui and Fi=Li. + // However beware that the {...,(Ei,Fi),...} pairs used by Löding + // are reversed compared to the {...,(Li,Ui),...} pairs used by + // several other people. We have Ei=Ui and Fi=Li. class nra_to_nba_worker: public tgba_reachable_iterator_depth_first { public: