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

Adding trans_storage methods to tgbagraph.hh

Browse source 
* src/tgba/tgbagraph.hh: Adding trans_storage methods to access
the underlying trans_storage_t struct.
This commit is contained in:
Thibaud Michaud 2014-10-29 14:15:06 +01:00 • committed by Alexandre Duret-Lutz
parent c9618f9137
commit beafcf4e3d
1 changed files with 25 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

25
src/tgba/tgbagraph.hh
View file

@ -330,6 +330,31 @@ namespace spot
return acc_.mark(0);
}
graph_t::trans_storage_t& trans_storage(const tgba_succ_iterator* it)
{
auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
return g_.trans_storage(i->pos());
}
graph_t::trans_storage_t& trans_storage(unsigned t)
{
return g_.trans_storage(t);
}
const graph_t::trans_storage_t
trans_storage(const tgba_succ_iterator* it) const
{
auto* i = down_cast<const tgba_digraph_succ_iterator<graph_t>*>(it);
return g_.trans_storage(i->pos());
}
const graph_t::trans_storage_t trans_storage(unsigned t) const
{
return g_.trans_storage(t);
}
void set_acceptance_conditions(bdd all);
unsigned new_state()
{
return g_.new_state();