20 #ifndef IDPARTITION_H_
21 #define IDPARTITION_H_
24 #include "hash_functions.h"
27 namespace basic_types {
bool idpart_intersect(SubIDPartition const &part1, SubIDPartition const &part2)
Checks if two sets of IDs intersect, i.e.
Definition: IDPartition.cpp:27
unordered_set< IDType > SubIDPartition
A SubIDPartition is a set of IDs used by IDPartition.
Definition: IDPartition.h:32
IDPartition idpart_transitive_closure(IDPartition const &part1, IDPartition const &part2)
Builds the transitive closure of two given IDPartitions.
Definition: IDPartition.cpp:36
unordered_set< SubIDPartition > IDPartition
An IDPartition is a set of sets of IDs (which is effectively a set of equivalence classes)...
Definition: IDPartition.h:37
void idpart_transitive_closure_into1(IDPartition &part1, IDPartition const &part2)
Builds the transitive closure of two given IDPartitions.
Definition: IDPartition.cpp:42