From 5301fce3bf0055c696232d15f2486e1f155a3a8a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 21 Apr 2015 19:50:48 +0200
Subject: [PATCH] rename tgba_proxy into twa_proxy

Automatic mass renaming.

* src/tgba/tgbamask.cc, src/tgba/tgbaproxy.cc, src/tgba/tgbaproxy.hh:
Rename tgba_proxy into twa_proxy.
---
 src/tgba/tgbamask.cc  |  4 ++--
 src/tgba/tgbaproxy.cc | 16 ++++++++--------
 src/tgba/tgbaproxy.hh |  6 +++---
 3 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/src/tgba/tgbamask.cc b/src/tgba/tgbamask.cc
index 93c86b010..daa591f73 100644
--- a/src/tgba/tgbamask.cc
+++ b/src/tgba/tgbamask.cc
@@ -84,7 +84,7 @@ namespace spot
     ///
     /// This is an abstract class. You should inherit from it and
     /// supply a wanted() method to specify which states to keep.
-    class tgba_mask: public tgba_proxy
+    class tgba_mask: public twa_proxy
     {
     protected:
       /// \brief Constructor.
@@ -92,7 +92,7 @@ namespace spot
       /// \param init Any state to use as initial state. This state will be
       /// destroyed by the destructor.
       tgba_mask(const const_twa_ptr& masked, const state* init = 0):
-	tgba_proxy(masked),
+	twa_proxy(masked),
 	init_(init)
       {
 	if (!init)
diff --git a/src/tgba/tgbaproxy.cc b/src/tgba/tgbaproxy.cc
index ada6ad90a..97d9b9af6 100644
--- a/src/tgba/tgbaproxy.cc
+++ b/src/tgba/tgbaproxy.cc
@@ -21,25 +21,25 @@
 
 namespace spot
 {
-  tgba_proxy::tgba_proxy(const const_twa_ptr& original)
+  twa_proxy::twa_proxy(const const_twa_ptr& original)
     : twa(original->get_dict()), original_(original)
   {
     get_dict()->register_all_variables_of(original, this);
     acc_.add_sets(original->acc().num_sets());
   }
 
-  tgba_proxy::~tgba_proxy()
+  twa_proxy::~twa_proxy()
   {
     get_dict()->unregister_all_my_variables(this);
   }
 
-  state* tgba_proxy::get_init_state() const
+  state* twa_proxy::get_init_state() const
   {
     return original_->get_init_state();
   }
 
   twa_succ_iterator*
-  tgba_proxy::succ_iter(const state* state) const
+  twa_proxy::succ_iter(const state* state) const
   {
     if (iter_cache_)
       {
@@ -50,25 +50,25 @@ namespace spot
   }
 
   std::string
-  tgba_proxy::format_state(const state* state) const
+  twa_proxy::format_state(const state* state) const
   {
     return original_->format_state(state);
   }
 
   std::string
-  tgba_proxy::transition_annotation(const twa_succ_iterator* t) const
+  twa_proxy::transition_annotation(const twa_succ_iterator* t) const
   {
     return original_->transition_annotation(t);
   }
 
   state*
-  tgba_proxy::project_state(const state* s, const const_twa_ptr& t) const
+  twa_proxy::project_state(const state* s, const const_twa_ptr& t) const
   {
     return original_->project_state(s, t);
   }
 
   bdd
-  tgba_proxy::compute_support_conditions(const state* state) const
+  twa_proxy::compute_support_conditions(const state* state) const
   {
     return original_->support_conditions(state);
   }
diff --git a/src/tgba/tgbaproxy.hh b/src/tgba/tgbaproxy.hh
index 290cd6ade..857e639a1 100644
--- a/src/tgba/tgbaproxy.hh
+++ b/src/tgba/tgbaproxy.hh
@@ -32,13 +32,13 @@ namespace spot
   /// original automaton right away.  However it is useful
   /// to inherit from this class and override some of its
   /// methods to implement some on-the-fly algorithm.
-  class SPOT_API tgba_proxy: public twa
+  class SPOT_API twa_proxy: public twa
   {
   protected:
-    tgba_proxy(const const_twa_ptr& original);
+    twa_proxy(const const_twa_ptr& original);
 
   public:
-    virtual ~tgba_proxy();
+    virtual ~twa_proxy();
 
     virtual state* get_init_state() const;