From a79267b8a3c5dae9ab6d81e0d2a03b1a2d1822cf Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 18 Mar 2015 20:07:57 +0100
Subject: [PATCH] rename copy_acceptance_conditions_of()

... into copy_acceptance_of().  For #65.

* src/tgba/tgbagraph.hh, src/tgbaalgos/dupexp.cc,
src/tgbaalgos/emptiness.cc, src/tgbaalgos/mask.cc,
src/tgbaalgos/powerset.cc, src/tgbaalgos/sbacc.cc,
src/tgbaalgos/simulation.cc, src/tgbaalgos/stutter.cc: Here.
---
 src/tgba/tgbagraph.hh       | 4 ++--
 src/tgbaalgos/dupexp.cc     | 2 +-
 src/tgbaalgos/emptiness.cc  | 2 +-
 src/tgbaalgos/mask.cc       | 2 +-
 src/tgbaalgos/powerset.cc   | 2 +-
 src/tgbaalgos/sbacc.cc      | 2 +-
 src/tgbaalgos/simulation.cc | 4 ++--
 src/tgbaalgos/stutter.cc    | 2 +-
 8 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh
index bf8867e98..9b58d3801 100644
--- a/src/tgba/tgbagraph.hh
+++ b/src/tgba/tgbagraph.hh
@@ -190,7 +190,7 @@ namespace spot
       : tgba(other->get_dict()),
         g_(other->g_), init_number_(other->init_number_)
       {
-	copy_acceptance_conditions_of(other);
+	copy_acceptance_of(other);
 	copy_ap_of(other);
 	prop_copy(other, p);
       }
@@ -426,7 +426,7 @@ namespace spot
       SPOT_RETURN(g_.is_dead_transition(t));
 
     /// \brief Copy the acceptance conditions of another tgba.
-    void copy_acceptance_conditions_of(const const_tgba_ptr& a)
+    void copy_acceptance_of(const const_tgba_ptr& a)
     {
       // FIXME: Should rename as copy_acceptance_condition*_of
       acc_ = a->acc();
diff --git a/src/tgbaalgos/dupexp.cc b/src/tgbaalgos/dupexp.cc
index 2cc839456..ef6e1b898 100644
--- a/src/tgbaalgos/dupexp.cc
+++ b/src/tgbaalgos/dupexp.cc
@@ -39,7 +39,7 @@ namespace spot
       dupexp_iter(const const_tgba_ptr& a, tgba::prop_set p)
 	: T(a), out_(make_tgba_digraph(a->get_dict()))
       {
-	out_->copy_acceptance_conditions_of(a);
+	out_->copy_acceptance_of(a);
 	out_->copy_ap_of(a);
 	out_->prop_copy(a, p);
       }
diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc
index 0e90eb97a..458d4ec01 100644
--- a/src/tgbaalgos/emptiness.cc
+++ b/src/tgbaalgos/emptiness.cc
@@ -296,7 +296,7 @@ namespace spot
     auto d = a->get_dict();
     auto res = make_tgba_digraph(d);
     res->copy_ap_of(a);
-    res->copy_acceptance_conditions_of(a);
+    res->copy_acceptance_of(a);
 
     const state* s = a->get_init_state();
     unsigned src;
diff --git a/src/tgbaalgos/mask.cc b/src/tgbaalgos/mask.cc
index 5f2634788..e431745ac 100644
--- a/src/tgbaalgos/mask.cc
+++ b/src/tgbaalgos/mask.cc
@@ -55,7 +55,7 @@ namespace spot
     auto res = make_tgba_digraph(in->get_dict());
     res->copy_ap_of(in);
     res->prop_copy(in, { true, true, true, true, false });
-    res->copy_acceptance_conditions_of(in);
+    res->copy_acceptance_of(in);
     transform_copy(in, res, [&](unsigned src,
                                 bdd& cond,
                                 acc_cond::mark_t&,
diff --git a/src/tgbaalgos/powerset.cc b/src/tgbaalgos/powerset.cc
index f5c1c7adf..34de9065f 100644
--- a/src/tgbaalgos/powerset.cc
+++ b/src/tgbaalgos/powerset.cc
@@ -366,7 +366,7 @@ namespace spot
 		       const_tgba_digraph_ptr ref, power_map& refmap,
 		       unsigned threshold)
     {
-      det->copy_acceptance_conditions_of(ref);
+      det->copy_acceptance_of(ref);
 
       scc_info sm(det);
 
diff --git a/src/tgbaalgos/sbacc.cc b/src/tgbaalgos/sbacc.cc
index 2a107dc2f..b37c4a10d 100644
--- a/src/tgbaalgos/sbacc.cc
+++ b/src/tgbaalgos/sbacc.cc
@@ -31,7 +31,7 @@ namespace spot
 
     auto res = make_tgba_digraph(old->get_dict());
     res->copy_ap_of(old);
-    res->copy_acceptance_conditions_of(old);
+    res->copy_acceptance_of(old);
 
     typedef std::pair<unsigned, acc_cond::mark_t> pair_t;
     std::map<pair_t, unsigned> s2n;
diff --git a/src/tgbaalgos/simulation.cc b/src/tgbaalgos/simulation.cc
index eb62b1aa5..0a538cb4e 100644
--- a/src/tgbaalgos/simulation.cc
+++ b/src/tgbaalgos/simulation.cc
@@ -207,7 +207,7 @@ namespace spot
 	  {
 	    a_ = make_tgba_digraph(in->get_dict());
 	    a_->copy_ap_of(in);
-	    a_->copy_acceptance_conditions_of(in);
+	    a_->copy_acceptance_of(in);
 	    a_->new_states(ns);
 	    auto& acccond = in->acc();
 
@@ -485,7 +485,7 @@ namespace spot
       {
 	tgba_digraph_ptr res = make_tgba_digraph(a_->get_dict());
 	res->copy_ap_of(a_);
-	res->copy_acceptance_conditions_of(a_);
+	res->copy_acceptance_of(a_);
 	if (Sba)
 	  res->prop_state_based_acc();
 
diff --git a/src/tgbaalgos/stutter.cc b/src/tgbaalgos/stutter.cc
index 125ef1736..700fdad65 100644
--- a/src/tgbaalgos/stutter.cc
+++ b/src/tgbaalgos/stutter.cc
@@ -314,7 +314,7 @@ namespace spot
     tgba_digraph_ptr res = make_tgba_digraph(a->get_dict());
     // We use the same BDD variables as the input.
     res->copy_ap_of(a);
-    res->copy_acceptance_conditions_of(a);
+    res->copy_acceptance_of(a);
     // These maps make it possible to convert stutter_state to number
     // and vice-versa.
     ss2num_map ss2num;