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

Check that every color appears once in is_parity_max_equiv

Browse source 
* spot/twa/acc.cc: Now suppose that a condition cannot contain
the same mark twice to be parity equivalent.
This commit is contained in:
Florian Renkin 2020-02-25 12:54:58 +01:00
parent f4c201c980
commit 4b9704a072
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/acc.cc
View file

@ -1070,6 +1070,8 @@ namespace spot
bool
acc_cond::is_parity_max_equiv(std::vector<int>&permut, bool even) const
{
if (code_.used_once_sets() != code_.used_sets())
return false;
bool result = code_.is_parity_max_equiv(permut, 0, even);
int max_value = *std::max_element(std::begin(permut), std::end(permut));
for (unsigned i = 0; i < permut.size(); ++i)