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

* src/tgba/tgbagraph.hh: Add a format_state for unsigned.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-12-23 17:54:26 +01:00
parent 0f178288c6
commit 1d7a20b2d5
1 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

18
src/tgba/tgbagraph.hh
View file

@ -173,6 +173,7 @@ namespace spot
{ {
public: public:
typedef digraph<tgba_graph_state, tgba_graph_trans_data> graph_t; typedef digraph<tgba_graph_state, tgba_graph_trans_data> graph_t;
typedef graph_t::trans_storage_t trans_storage_t;
protected: protected:
graph_t g_; graph_t g_;
@ -298,13 +299,18 @@ namespace spot
return &g_.state_data(n); return &g_.state_data(n);
} }
virtual std::string format_state(const state* st) const std::string format_state(unsigned n) const
{ {
std::stringstream ss; std::stringstream ss;
ss << state_number(st); ss << n;
return ss.str(); return ss.str();
} }
virtual std::string format_state(const state* st) const
{
return format_state(state_number(st));
}
tgba_graph_trans_data& trans_data(const tgba_succ_iterator* it) tgba_graph_trans_data& trans_data(const tgba_succ_iterator* it)
{ {
auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it); auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
@ -346,25 +352,25 @@ namespace spot
return acc_.mark(0); return acc_.mark(0);
} }
graph_t::trans_storage_t& trans_storage(const tgba_succ_iterator* it) trans_storage_t& trans_storage(const tgba_succ_iterator* it)
{ {
auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it); auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
return g_.trans_storage(i->pos()); return g_.trans_storage(i->pos());
} }
graph_t::trans_storage_t& trans_storage(unsigned t) trans_storage_t& trans_storage(unsigned t)
{ {
return g_.trans_storage(t); return g_.trans_storage(t);
} }
const graph_t::trans_storage_t const trans_storage_t
trans_storage(const tgba_succ_iterator* it) const trans_storage(const tgba_succ_iterator* it) const
{ {
auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it); auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
return g_.trans_storage(i->pos()); return g_.trans_storage(i->pos());
} }
const graph_t::trans_storage_t trans_storage(unsigned t) const const trans_storage_t trans_storage(unsigned t) const
{ {
return g_.trans_storage(t); return g_.trans_storage(t);
} }