From f006f0df345593d09a6896554ddc13dc91e42892 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 13 May 2015 23:23:11 +0200 Subject: [PATCH] * src/twaalgos/isunamb.cc: Simplify. --- src/twaalgos/isunamb.cc | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/twaalgos/isunamb.cc b/src/twaalgos/isunamb.cc index 3a22c1687..1033b049a 100644 --- a/src/twaalgos/isunamb.cc +++ b/src/twaalgos/isunamb.cc @@ -20,7 +20,6 @@ #include "isunamb.hh" #include "twaalgos/product.hh" #include "sccfilter.hh" -#include "stats.hh" #include #include @@ -33,9 +32,8 @@ namespace spot auto clean_a = scc_filter_states(aut); auto prod = product(clean_a, clean_a); auto clean_p = scc_filter_states(prod); - tgba_statistics sa = stats_reachable(clean_a); - tgba_statistics sp = stats_reachable(clean_p); - return sa.states == sp.states && sa.transitions == sp.transitions; + return clean_a->num_states() == clean_p->num_states() + && clean_a->num_transitions() == clean_p->num_transitions(); } bool check_unambiguous(const twa_graph_ptr& aut)