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

* src/dstarparse/nra2nba.cc: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-02-26 16:33:57 +01:00
parent bd870f9ab8
commit 559f49c7d5
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/dstarparse/nra2nba.cc
View file

@ -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: