Module Utils.BoolvectorSource

make c default creates a new vector of cardinal c, with all bools initialized to default.

• parameter c

  The domain of the vector.

• parameter default

  The initial value for all bools.

init c f creates a new vector of cardinal c, where each bool is determined by the function f.

test b n returns the value of the bool at index n in vector b.

set b n sets the bool at index n in vector b to true.

clear b n clears the bool at index n in vector b (sets it to false).

from_vector vec f creates a new vector where each bool is set to true if the corresponding element in vec satisfies predicate f.