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

remove is_alternating() methods

Browse source 
Those were deprecated more than 3 years ago.

* spot/graph/graph.hh, spot/twa/twagraph.hh: Here.
* NEWS: Mention the change.
This commit is contained in:
Alexandre Duret-Lutz 2020-04-05 11:18:58 +02:00
parent 682ec77b0b
commit a434778fba
3 changed files with 6 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

14
spot/graph/graph.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2014-2018 Laboratoire de Recherche et
// Copyright (C) 2014-2018, 2020 Laboratoire de Recherche et
// Développement de l'Epita.
//
// This file is part of Spot, a model checking library.
@ -661,18 +661,6 @@ namespace spot
return dests_.empty();
}
#ifndef SWIG
/// \brief Whether the automaton has universal branching
///
/// The name of this function is confusing since non-deterministic
/// automata should be a subclass of alternating automata.
SPOT_DEPRECATED("use !is_existential() instead")
bool is_alternating() const
{
return !is_existential();
}
#endif
/// \brief Create a new states
///
/// All arguments are forwarded to the State_Data constructor.

15
spot/twa/twagraph.hh
View file

@ -1,5 +1,6 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2014-2019 Laboratoire de Recherche et Développement de l'Epita.
// Copyright (C) 2014-2020 Laboratoire de Recherche et Développement
// de l'Epita.
//
// This file is part of Spot, a model checking library.
//
@ -510,18 +511,6 @@ namespace spot
return g_.is_existential();
}
#ifndef SWIG
/// \brief Whether the automaton has universal branching
///
/// The name of this function is confusing since non-deterministic
/// automata should be a subclass of alternating automata.
SPOT_DEPRECATED("use !is_existential() instead")
bool is_alternating() const
{
return !is_existential();
}
#endif
#ifndef SWIG
auto states() const
SPOT_RETURN(g_.states());