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

* src/dstarparse/nra2nba.cc: Simplify construction of initial state.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-02-01 17:16:24 +01:00
parent 847270b480
commit 57cda2d9c3
1 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/dstarparse/nra2nba.cc
View file

@ -35,7 +35,7 @@ namespace spot
class nra_to_nba_worker: public tgba_reachable_iterator_depth_first class nra_to_nba_worker: public tgba_reachable_iterator_depth_first
{ {
public: public:
// AUT is the automate we iterate on, while A is the automaton // AUT is the automaton we iterate on, while A is the automaton
// we read the acceptance conditions from. Separating the two // we read the acceptance conditions from. Separating the two
// makes its possible to mask AUT, as needed in dra_to_ba(). // makes its possible to mask AUT, as needed in dra_to_ba().
nra_to_nba_worker(const const_dstar_aut_ptr& a, const_tgba_ptr aut): nra_to_nba_worker(const const_dstar_aut_ptr& a, const_tgba_ptr aut):
@ -48,10 +48,7 @@ namespace spot
out_->set_single_acceptance_set(); out_->set_single_acceptance_set();
out_->prop_state_based_acc(); out_->prop_state_based_acc();
out_->new_states(num_states_ * (d_->accpair_count + 1)); out_->new_states(num_states_ * (d_->accpair_count + 1));
out_->set_init_state(a->aut->get_init_state_number());
auto i = aut->get_init_state();
out_->set_init_state(a->aut->state_number(i));
i->destroy();
} }
tgba_digraph_ptr tgba_digraph_ptr