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

simulation: do not create scc_info

Browse source 
* spot/twaalgos/simulation.cc: Remove useless creation of scc_info
object.
This commit is contained in:
Alexandre Duret-Lutz 2017-10-07 13:10:03 +02:00
parent da65479696
commit b521fef226
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twaalgos/simulation.cc
View file

@ -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
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
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_;
}; };