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

Remove tgba_reduc::format_state().

Browse source 
* src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh (format_state):
Remove this useless copy of the tgba_explicit_string::format_state
method.
This commit is contained in:
Alexandre Duret-Lutz 2011-03-30 16:19:31 +02:00
parent 29a908cc8f
commit cd900a403b
3 changed files with 9 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2011-03-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Remove tgba_reduc::format_state().
* src/tgba/tgbareduc.cc, src/tgba/tgbareduc.hh (format_state):
Remove this useless copy of the tgba_explicit_string::format_state
method.
2011-03-30 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-03-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Protect the state destructor. Protect the state destructor.

11
src/tgba/tgbareduc.cc
View file

@ -126,17 +126,6 @@ namespace spot
this->merge_transitions(); this->merge_transitions();
} }
std::string
tgba_reduc::format_state(const spot::state* s) const
{
std::ostringstream os;
const state_explicit* se = dynamic_cast<const state_explicit*>(s);
assert(se);
sn_map::const_iterator i = state_name_map_.find(se->get_state());
assert(i != state_name_map_.end());
return i->second;
}
//////////////////////////////////////////// ////////////////////////////////////////////
// for build tgba_reduc // for build tgba_reduc

5
src/tgba/tgbareduc.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement // Copyright (C) 2008, 2009, 2011 Laboratoire de Recherche et Développement
// de l'Epita (LRDE). // de l'Epita (LRDE).
// Copyright (C) 2004, 2005, 2006 Laboratoire d'Informatique de // Copyright (C) 2004, 2005, 2006 Laboratoire d'Informatique de
// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
@ -70,9 +70,6 @@ namespace spot
/// relation. /// relation.
void delete_transitions(simulation_relation* rel); void delete_transitions(simulation_relation* rel);
/// Add the SCC index to the display of the state \a state.
virtual std::string format_state(const spot::state* state) const;
// For Debug // For Debug
void display_rel_sim(simulation_relation* rel, std::ostream& os); void display_rel_sim(simulation_relation* rel, std::ostream& os);
void display_scc(std::ostream& os); void display_scc(std::ostream& os);