* src/tgba/tgbabddconcrete.hh, src/tgba/tgbaexplicit.hh,

src/tgba/tgbaproduct.hh, src/tgba/tgbareduc.hh, src/tgba/tgbatba.hh:
Remove superfluous class qualifiers worrying gcc 4.1.2.

ChangeLog

+2006-07-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgba/tgbabddconcrete.hh, src/tgba/tgbaexplicit.hh,
+	src/tgba/tgbaproduct.hh, src/tgba/tgbareduc.hh, src/tgba/tgbatba.hh:
+	Remove superfluous class qualifiers worrying gcc 4.1.2.
+
 2006-07-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_fm.cc

src/tgba/tgbabddconcrete.hh

-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -88,7 +88,7 @@ namespace spot
   private:
     // Disallow copy.
     tgba_bdd_concrete(const tgba_bdd_concrete&);
-    tgba_bdd_concrete& tgba_bdd_concrete::operator=(const tgba_bdd_concrete&);
+    tgba_bdd_concrete& operator=(const tgba_bdd_concrete&);
   };
 }
 

src/tgba/tgbaexplicit.hh

-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -114,7 +114,7 @@ namespace spot
   private:
     // Disallow copy.
     tgba_explicit(const tgba_explicit& other);
-    tgba_explicit& tgba_explicit::operator=(const tgba_explicit& other);
+    tgba_explicit& operator=(const tgba_explicit& other);
   };
 
 

src/tgba/tgbaproduct.hh

-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -155,7 +155,7 @@ namespace spot
     bdd neg_acceptance_conditions_;
     // Disallow copy.
     tgba_product(const tgba_product&);
-    tgba_product& tgba_product::operator=(const tgba_product&);
+    tgba_product& operator=(const tgba_product&);
   };
 
 }

src/tgba/tgbareduc.hh

-// Copyright (C) 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2004, 2005, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -189,7 +189,7 @@ namespace spot
     /// For compute_scc.
     void remove_component(const spot::state* from);
 
-    int tgba_reduc::nb_set_acc_cond() const;
+    int nb_set_acc_cond() const;
 
   };
 }

src/tgba/tgbatba.hh

-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -84,7 +84,7 @@ namespace spot
     bdd the_acceptance_cond_;
     // Disallow copy.
     tgba_tba_proxy(const tgba_tba_proxy&);
-    tgba_tba_proxy& tgba_tba_proxy::operator=(const tgba_tba_proxy&);
+    tgba_tba_proxy& operator=(const tgba_tba_proxy&);
   };
 
   /// \brief Degeneralize a spot::tgba on the fly, producing an SBA.