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

twa: Use generic accepting run search

Browse source 
Make use of the generic accepting run search in twa::accepting_run()
and twa::accepting_word().

* spot/twa/twa.cc: Here.
This commit is contained in:
Clément Gillard 2019-02-06 11:45:09 +01:00 • committed by Alexandre Duret-Lutz
parent 51ca5ecdb1
commit 837f9e296b
1 changed files with 5 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

11
spot/twa/twa.cc
View file

@ -104,11 +104,10 @@ namespace spot
twa_run_ptr
twa::accepting_run() const
{
if (acc().uses_fin_acceptance())
throw std::runtime_error("twa::accepting_run() does not work with "
"Fin acceptance (but twa::is_empty() and "
"twa::accepting_word() can)");
auto res = couvreur99_new_check(shared_from_this());
const_twa_ptr a = shared_from_this();
if (const_twa_graph_ptr ag = fin_to_twa_graph_maybe(a))
return generic_accepting_run(ag);
auto res = couvreur99_new_check(a);
if (!res)
return nullptr;
return res->accepting_run();
@ -117,7 +116,7 @@ namespace spot
twa_word_ptr
twa::accepting_word() const
{
if (auto run = remove_fin_maybe(shared_from_this())->accepting_run())
if (auto run = shared_from_this()->accepting_run())
{
auto w = make_twa_word(run->reduce());
w->simplify();