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

bloemen: avoid tail-recursive calls

Browse source 
* spot/mc/bloemen.hh: here.
This commit is contained in:
Etienne Renault 2018-03-28 16:31:05 +02:00
parent ae101a509f
commit 73ccf2216d
1 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

17
spot/mc/bloemen.hh
View file

@ -161,15 +161,16 @@ namespace spot
bool sameset(uf_element* a, uf_element* b)
{
uf_element* a_root = find(a);
uf_element* b_root = find(b);
if (a_root == b_root)
return true;
while (true)
{
uf_element* a_root = find(a);
uf_element* b_root = find(b);
if (a_root == b_root)
return true;
if (a_root->parent.load() == a_root)
return false;
return sameset(a_root, b_root);
if (a_root->parent.load() == a_root)
return false;
}
}
bool lock_root(uf_element* a)