spot
1.2.1a
|
Public Member Functions | |
uf (int thread_number) | |
bool | make_set (const fasttgba_state *key, int tn) |
insert a new element in the union find More... | |
void | make_dead (const fasttgba_state *key) |
Mark an elemnent as dead. More... | |
markset | unite (const fasttgba_state *left, const fasttgba_state *right, const markset acc, bool *is_dead) |
Mark two states in the same set. More... | |
bool | is_dead (const fasttgba_state *key) |
check wether an element is linked to dead More... | |
int | size () |
|
inline |
check wether an element is linked to dead
|
inline |
Mark an elemnent as dead.
|
inline |
insert a new element in the union find
|
inline |
Mark two states in the same set.
Can be seen as a binary operation where left and right operands are unite and where acceptance sets are merged
left | the left operand |
right | the right operand |
markset | the acceptance set to add to the parent of the two operands once merged. |