Outsource some functions in bit_vector_operations.cc

[gh-kliem]

We simplify obtaining the inclusion maximal faces in the function get_next_level by outsourcing to new function is_contained_in_one.

In addition we implement contains_one for #30040.

This ticket merges cleanly with #30435.

[gh-kliem]

New commits:

​20a39b6

outsource inclusion maximal

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​b672fca

removed redundant function

[tscrim]

LGTM.

[gh-kliem]

Thank you.

[slelievre]

The functions inline int is_contained_in_one (with or without skip) have this fine description:

     Return whether ``face`` is contained in one of ``faces``.

Descriptions for the functions contains_one (with or without skip) have a problem:

 inline int contains_one(uint64_t *face, uint64_t **faces, size_t n_faces, size_t face_length){
     /*
-    Return whether ``face`` contains in one of ``faces``.
+    Return whether ``face`` contains one of ``faces``.
     */

 inline int contains_one(uint64_t *face, uint64_t **faces, size_t n_faces, size_t face_length, size_t skip){
     /*
-    Return whether ``face`` is contains in one of ``faces``.
+    Return whether ``face`` contains one of ``faces``.
 
     Skips ``faces[skip]``.
     */

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​b2ce23e

grammar

[gh-kliem]

Thanks again.

[git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. This was a forced push. New commits:

​7c970e3	outsource inclusion maximal
​92fb29c	removed redundant function
​5311cdf	grammar

[gh-kliem]

Rebased.