void Bucket::supersets( OrdinalVector & ps ) const { std::pair<const unsigned *, const unsigned *> part_ord = superset_part_ordinals(); ps.resize( part_ord.second - part_ord.first ); for ( unsigned i = 0 ; part_ord.first < part_ord.second ; ++(part_ord.first) , ++i ) { ps[i] = *part_ord.first; } }