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

* src/twaalgos/isunamb.cc: Simplify.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-05-13 23:23:11 +02:00
parent 8c32fba8b9
commit f006f0df34
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/twaalgos/isunamb.cc
View file

@ -20,7 +20,6 @@
#include "isunamb.hh" #include "isunamb.hh"
#include "twaalgos/product.hh" #include "twaalgos/product.hh"
#include "sccfilter.hh" #include "sccfilter.hh"
#include "stats.hh"
#include <set> #include <set>
#include <list> #include <list>
@ -33,9 +32,8 @@ namespace spot
auto clean_a = scc_filter_states(aut); auto clean_a = scc_filter_states(aut);
auto prod = product(clean_a, clean_a); auto prod = product(clean_a, clean_a);
auto clean_p = scc_filter_states(prod); auto clean_p = scc_filter_states(prod);
tgba_statistics sa = stats_reachable(clean_a); return clean_a->num_states() == clean_p->num_states()
tgba_statistics sp = stats_reachable(clean_p); && clean_a->num_transitions() == clean_p->num_transitions();
return sa.states == sp.states && sa.transitions == sp.transitions;
} }
bool check_unambiguous(const twa_graph_ptr& aut) bool check_unambiguous(const twa_graph_ptr& aut)