complete!(tuple::BitSetTuple, max_element::Int)

Makes sure all elements from 1 up to max_element are included in at least one BitSet. If an element does not occur in any of the BitSets, it is added to all of them.

get_membership_sets(constraint::BitSetTuple, max_element::Int)

Checks all elements from 1 to max_element and returns a BitSetTuple where each element is a BitSet containing all the groups that contain that element.