From a59b9aa7f41e92b5775580af96d9e1a8504dcafc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 21 Sep 2004 15:19:26 +0000
Subject: [PATCH] * src/tgbaalgos/colordfs.hh, src/tgbaalgos/minimalce.cc,
 src/tgbaalgos/minimalce.hh, src/tgbaalgos/nesteddfs.hh,
 src/tgbaalgos/tarjan_on_fly.hh, src/tgbatest/ltl2tgba.cc: Rename
 emptyness_search to emptiness_search.

---
 ChangeLog                      |  5 +++++
 src/tgbaalgos/colordfs.hh      |  2 +-
 src/tgbaalgos/minimalce.cc     |  8 ++++----
 src/tgbaalgos/minimalce.hh     | 10 +++++-----
 src/tgbaalgos/nesteddfs.hh     |  2 +-
 src/tgbaalgos/tarjan_on_fly.hh |  2 +-
 src/tgbatest/ltl2tgba.cc       |  2 +-
 7 files changed, 18 insertions(+), 13 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index c52a2cea3..889647914 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2004-09-21  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/colordfs.hh, src/tgbaalgos/minimalce.cc,
+	src/tgbaalgos/minimalce.hh, src/tgbaalgos/nesteddfs.hh,
+	src/tgbaalgos/tarjan_on_fly.hh, src/tgbatest/ltl2tgba.cc: Rename
+	emptyness_search to emptiness_search.
+
 	* src/sanity/style.test: Warn about places where size() is used
 	instead of empty().
 	* src/misc/bddalloc.cc (bdd_allocator::extend): Use empty() rather
diff --git a/src/tgbaalgos/colordfs.hh b/src/tgbaalgos/colordfs.hh
index c748c9409..fde1f81b1 100644
--- a/src/tgbaalgos/colordfs.hh
+++ b/src/tgbaalgos/colordfs.hh
@@ -31,7 +31,7 @@
 
 namespace spot
 {
-  class colordfs_search: public emptyness_search
+  class colordfs_search: public emptiness_search
   {
   public:
     /// Initialize the Colordfs Search algorithm on the automaton \a a.
diff --git a/src/tgbaalgos/minimalce.cc b/src/tgbaalgos/minimalce.cc
index 2343a2f67..8c7517235 100644
--- a/src/tgbaalgos/minimalce.cc
+++ b/src/tgbaalgos/minimalce.cc
@@ -191,12 +191,12 @@ namespace spot
   }
 
   /////////////////////////////////////////////////////////////////////////////
-  // The base interface for build a emptyness search algorithm
-  emptyness_search::emptyness_search()
+  // The base interface for build a emptiness search algorithm
+  emptiness_search::emptiness_search()
   {
   }
 
-  emptyness_search::~emptyness_search()
+  emptiness_search::~emptiness_search()
   {
   }
 
@@ -215,7 +215,7 @@ namespace spot
   */
 
   std::ostream&
-  emptyness_search::print_stat(std::ostream& os) const
+  emptiness_search::print_stat(std::ostream& os) const
   {
     return os;
   }
diff --git a/src/tgbaalgos/minimalce.hh b/src/tgbaalgos/minimalce.hh
index d0d5665a0..6ab110a17 100644
--- a/src/tgbaalgos/minimalce.hh
+++ b/src/tgbaalgos/minimalce.hh
@@ -77,14 +77,14 @@ namespace spot
   }
 
   /////////////////////////////////////////////////////////////////////////////
-  // The base interface for build a emptyness search algorithm
-  class emptyness_search
+  // The base interface to build an emptiness check algorithm
+  class emptiness_search
   {
   protected:
-    emptyness_search();
+    emptiness_search();
 
   public:
-    virtual ~emptyness_search();
+    virtual ~emptiness_search();
     virtual ce::counter_example* check() = 0;
     /// \brief Print Stat.
     virtual std::ostream& print_stat(std::ostream& os) const;
@@ -93,7 +93,7 @@ namespace spot
   /////////////////////////////////////////////////////////////////////////////
   // Perform a minimal search
 
-  class minimalce_search: public emptyness_search
+  class minimalce_search: public emptiness_search
   {
   public:
     //minimalce_search(const tgba_tba_proxy *a, bool mode = false);
diff --git a/src/tgbaalgos/nesteddfs.hh b/src/tgbaalgos/nesteddfs.hh
index 9a787777f..4e5f4a4a2 100644
--- a/src/tgbaalgos/nesteddfs.hh
+++ b/src/tgbaalgos/nesteddfs.hh
@@ -41,7 +41,7 @@ namespace spot
     };
   */
 
-  class nesteddfs_search: public emptyness_search
+  class nesteddfs_search: public emptiness_search
   {
 
   public:
diff --git a/src/tgbaalgos/tarjan_on_fly.hh b/src/tgbaalgos/tarjan_on_fly.hh
index c819ff205..de8f284f1 100644
--- a/src/tgbaalgos/tarjan_on_fly.hh
+++ b/src/tgbaalgos/tarjan_on_fly.hh
@@ -33,7 +33,7 @@
 namespace spot
 {
 
-  class tarjan_on_fly: public emptyness_search
+  class tarjan_on_fly: public emptiness_search
   {
 
   public:
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 4635e8a1e..575af9cf5 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -180,7 +180,7 @@ main(int argc, char** argv)
 	 NestedDFSSearch, NestedDFSSearchModify, ColorDFSSearch,
 	 TarjanOnFly, MinimalSearch, MinimalSearchIterative,
 	 NestedGeneSearch} echeck = None;
-  spot::emptyness_search* es = 0;
+  spot::emptiness_search* es = 0;
   spot::search_opt opt_nested_search = spot::magic;
   enum { NoneDup, BFS, DFS } dupexp = NoneDup;
   bool magic_many = false;