Commit 4fa24a7d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

simulation: do not create scc_info

* spot/twaalgos/simulation.cc: Remove useless creation of scc_info
object.
parent 9ca5b8c2
...@@ -27,7 +27,6 @@ ...@@ -27,7 +27,6 @@
#include <spot/twa/bddprint.hh> #include <spot/twa/bddprint.hh>
#include <spot/twaalgos/reachiter.hh> #include <spot/twaalgos/reachiter.hh>
#include <spot/twaalgos/sccfilter.hh> #include <spot/twaalgos/sccfilter.hh>
#include <spot/twaalgos/sccinfo.hh>
#include <spot/twaalgos/sepsets.hh> #include <spot/twaalgos/sepsets.hh>
#include <spot/twaalgos/isdet.hh> #include <spot/twaalgos/isdet.hh>
#include <spot/misc/bddlt.hh> #include <spot/misc/bddlt.hh>
...@@ -164,8 +163,6 @@ namespace spot ...@@ -164,8 +163,6 @@ namespace spot
throw std::runtime_error throw std::runtime_error
("direct_simulation() does not yet support alternation"); ("direct_simulation() does not yet support alternation");
scc_info_.reset(new scc_info(in));
unsigned ns = in->num_states(); unsigned ns = in->num_states();
size_a_ = ns; size_a_ = ns;
unsigned init_state_number = in->get_init_state_number(); unsigned init_state_number = in->get_init_state_number();
...@@ -710,8 +707,6 @@ namespace spot ...@@ -710,8 +707,6 @@ namespace spot
automaton_size stat; automaton_size stat;
std::unique_ptr<scc_info> scc_info_;
const const_twa_graph_ptr original_; const const_twa_graph_ptr original_;
}; };
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment