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

adjust for recent renaming of valid_trans()

Browse source 
* spot/kripke/kripkegraph.hh, spot/twa/twagraph.hh: Call
is_valid_edge() instead.
* NEWS: Mention the renaming.
This commit is contained in:
Alexandre Duret-Lutz 2016-04-10 17:20:48 +02:00
parent fb6cc0dff7
commit a6afaf3d9d
3 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/kripke/kripkegraph.hh
View file

@ -194,7 +194,7 @@ namespace spot
{
auto s = down_cast<const typename graph_t::state_storage_t*>(st);
assert(s);
assert(!s->succ || g_.valid_trans(s->succ));
assert(!s->succ || g_.is_valid_edge(s->succ));
if (this->iter_cache_)
{

2
spot/twa/twagraph.hh
View file

@ -279,7 +279,7 @@ namespace spot
{
auto s = down_cast<const typename graph_t::state_storage_t*>(st);
assert(s);
assert(!s->succ || g_.valid_trans(s->succ));
assert(!s->succ || g_.is_valid_edge(s->succ));
if (this->iter_cache_)
{