ltl::environment: correctly declare name() as const

* src/ltlenv/declenv.cc, src/ltlenv/declenv.hh,
src/ltlenv/defaultenv.cc, src/ltlenv/defaultenv.hh,
src/ltlenv/environment.hh, src/tgbaalgos/compsusp.cc: Declare name as
const.

src/ltlenv/declenv.cc

-// Copyright (C) 2009, 2012 Laboratoire de Recherche et Dveloppement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2012, 2014 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
-// dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -55,7 +56,7 @@ namespace spot
     }
 
     const std::string&
-    declarative_environment::name()
+    declarative_environment::name() const
     {
       static std::string name("declarative environment");
       return name;

src/ltlenv/declenv.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2012, 2013 Laboratoire de Recherche et
+// Copyright (C) 2009, 2012, 2013, 2014 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -51,7 +51,7 @@ namespace spot
       virtual const formula* require(const std::string& prop_str);
 
       /// Get the name of the environment.
-      virtual const std::string& name();
+      virtual const std::string& name() const;
 
       typedef std::map<const std::string, const atomic_prop*> prop_map;
 

src/ltlenv/defaultenv.cc

 // -*- coding: utf-8 -*-
-// Copyright (C) 2012 Laboratoire de Recherche et Développement
+// Copyright (C) 2012, 2014 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -39,7 +39,7 @@ namespace spot
     }
 
     const std::string&
-    default_environment::name()
+    default_environment::name() const
     {
       static std::string name("default environment");
       return name;

src/ltlenv/defaultenv.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
+// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -42,7 +42,7 @@ namespace spot
     public:
       virtual ~default_environment();
       virtual const formula* require(const std::string& prop_str);
-      virtual const std::string& name();
+      virtual const std::string& name() const;
 
       /// Get the sole instance of spot::ltl::default_environment.
       static default_environment& instance();

src/ltlenv/environment.hh

-// Copyright (C) 2008, 2012 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// -*- coding: utf-8 -*-
+// Copyright (C) 2008, 2012, 2014 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 // 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.
+// 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.
 //
@@ -54,7 +55,7 @@ namespace spot
       virtual const formula* require(const std::string& prop_str) = 0;
 
       /// Get the name of the environment.
-      virtual const std::string& name() = 0;
+      virtual const std::string& name() const = 0;
 
       virtual
       ~environment()

src/tgbaalgos/compsusp.cc

@@ -52,7 +52,7 @@ namespace spot
       }
 
       const std::string&
-      name()
+      name() const
       {
 	static std::string name("suspended environment");
 	return name;