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

* src/tgbaalgos/simulation.cc (get_state): Do not lookup the map twice.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-05-10 21:45:03 +02:00
parent ebe2362bc9
commit 2d0ac3eb75
1 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/tgbaalgos/simulation.cc
View file

@ -121,24 +121,21 @@ namespace spot
inline unsigned
get_state(const state* s)
{
if (state2int.find(s) == state2int.end())
map_state_unsigned::const_iterator i = state2int.find(s);
if (i == state2int.end())
{
state2int[s] = ++current_max;
i = state2int.insert(std::make_pair(s, ++current_max)).first;
previous_class_[out_->add_state(current_max)] = bddfalse;
}
return state2int[s];
return i->second;
}
void process_link(const state* in_s,
int in,
int,
const state* out_s,
int out,
int,
const tgba_succ_iterator* si)
{
(void) in;
(void) out;
int src = get_state(in_s);
int dst = get_state(out_s);