alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

kripke: rename state_acceptance_conditions

Browse source 
* spot/kripke/kripke.cc, spot/kripke/kripke.hh,
spot/kripke/fairkripke.hh (state_acceptance_conditions): Rename as...
(state_acceptance_mark): ... this.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2016-07-27 11:13:06 +02:00
parent 096edf227d
commit 6617538156
4 changed files with 10 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -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 spot::internal::twa_succ_iterable to make it clear this is not for
public consumption. 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: Python:
* The __format__() method for formula supports the same * The __format__() method for formula supports the same

4
spot/kripke/fairkripke.hh
View file

@ -97,8 +97,8 @@ namespace spot
/// This should be a conjunction of atomic propositions. /// This should be a conjunction of atomic propositions.
virtual bdd state_condition(const state* s) const = 0; 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 virtual acc_cond::mark_t
state_acceptance_conditions(const state* s) const = 0; state_acceptance_mark(const state* s) const = 0;
}; };
} }

4
spot/kripke/kripke.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- 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 // Developpement de l'Epita
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -47,7 +47,7 @@ namespace spot
} }
acc_cond::mark_t acc_cond::mark_t
kripke::state_acceptance_conditions(const state*) const kripke::state_acceptance_mark(const state*) const
{ {
return 0U; return 0U;
} }

2
spot/kripke/kripke.hh
View file

@ -98,7 +98,7 @@ namespace spot
virtual ~kripke(); virtual ~kripke();
virtual 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; typedef std::shared_ptr<kripke> kripke_ptr;