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

are_isomorphic: do not try to map initial state to a non-initial state

Browse source 
* src/tgbaalgos/are_isomorphic.cc: Here.
This commit is contained in:
Thibaud Michaud 2014-12-09 17:52:30 +01:00 • committed by Alexandre Duret-Lutz
parent 099d3d724a
commit d033633be0
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tgbaalgos/are_isomorphic.cc
View file

@ -86,6 +86,9 @@ namespace
// the union of in and out is the same. // the union of in and out is the same.
state2class[i] = spot::wang32_hash(hashin[i]) ^ hashout[i]; state2class[i] = spot::wang32_hash(hashin[i]) ^ hashout[i];
// XOR the initial state's hash with a pseudo random value so that it is
// in its own class.
state2class[a->get_init_state_number()] ^= 2654435761U;
return state2class; return state2class;
} }
@ -100,8 +103,9 @@ namespace
for (unsigned s = 0; s < n; ++s) for (unsigned s = 0; s < n; ++s)
{ {
class_t c1 = state2class[s]; class_t c1 = state2class[s];
(*(class2states.emplace(c1, std::vector<unsigned>()).first)).second. auto& states =
emplace_back(s); class2states.emplace(c1, std::vector<unsigned>()).first->second;
states.emplace_back(s);
} }
return class2states; return class2states;