From 6617538156fc34153ed8a23aec1f17bdc0a7bf32 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 27 Jul 2016 11:13:06 +0200
Subject: [PATCH] kripke: rename state_acceptance_conditions

* spot/kripke/kripke.cc, spot/kripke/kripke.hh,
spot/kripke/fairkripke.hh (state_acceptance_conditions): Rename as...
(state_acceptance_mark): ... this.
* NEWS: Mention it.
---
 NEWS                      | 5 +++++
 spot/kripke/fairkripke.hh | 4 ++--
 spot/kripke/kripke.cc     | 4 ++--
 spot/kripke/kripke.hh     | 2 +-
 4 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/NEWS b/NEWS
index 6438eb9f2..c19813150 100644
--- a/NEWS
+++ b/NEWS
@@ -146,6 +146,11 @@ New in spot 2.0.3a (not yet released)
     spot::internal::twa_succ_iterable to make it clear this is not for
     public consumption.
 
+  * spot::fair_kripke::state_acceptance_conditions() renamed to
+    spot::fair_kripke::state_acceptance_mark() for consistency.  This
+    is backward incompatible, but we are not aware of any actual use
+    of this method.
+
   Python:
 
   * The __format__() method for formula supports the same
diff --git a/spot/kripke/fairkripke.hh b/spot/kripke/fairkripke.hh
index e55fa2425..41639a86f 100644
--- a/spot/kripke/fairkripke.hh
+++ b/spot/kripke/fairkripke.hh
@@ -97,8 +97,8 @@ namespace spot
     /// This should be a conjunction of atomic propositions.
     virtual bdd state_condition(const state* s) const = 0;
 
-    /// \brief The set of acceptance conditions that label the state \a s.
+    /// \brief The acceptance mark that labels state \a s.
     virtual acc_cond::mark_t
-      state_acceptance_conditions(const state* s) const = 0;
+      state_acceptance_mark(const state* s) const = 0;
   };
 }
diff --git a/spot/kripke/kripke.cc b/spot/kripke/kripke.cc
index 3d2e391fc..cbec796fa 100644
--- a/spot/kripke/kripke.cc
+++ b/spot/kripke/kripke.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2014 Laboratoire de Recherche et
+// Copyright (C) 2009, 2010, 2014, 2016 Laboratoire de Recherche et
 // Developpement de l'Epita
 //
 // This file is part of Spot, a model checking library.
@@ -47,7 +47,7 @@ namespace spot
   }
 
   acc_cond::mark_t
-  kripke::state_acceptance_conditions(const state*) const
+  kripke::state_acceptance_mark(const state*) const
   {
     return 0U;
   }
diff --git a/spot/kripke/kripke.hh b/spot/kripke/kripke.hh
index 9f6ed10c4..0720e0d23 100644
--- a/spot/kripke/kripke.hh
+++ b/spot/kripke/kripke.hh
@@ -98,7 +98,7 @@ namespace spot
     virtual ~kripke();
 
     virtual
-      acc_cond::mark_t state_acceptance_conditions(const state*) const override;
+      acc_cond::mark_t state_acceptance_mark(const state*) const override;
   };
 
   typedef std::shared_ptr<kripke> kripke_ptr;