type ('b, 'perm) t = (int, 'b, 'perm) array_A simple bitvector based on some integral type 'b
val get : (_, [> `R ]) t -> int -> boolval set : (_, [> `W ]) t -> int -> bool -> unitval zeroes : int -> (Bigarray.int8_unsigned_elt, 'perm) tval ones : int -> (Bigarray.int8_unsigned_elt, 'perm) tval iter_zeroes : f:(int -> unit) -> (_, [> `R ]) t -> unititer_ones ~f a calls f i for every index i such that get a i = false
val iter_ones : f:(int -> unit) -> (_, [> `R ]) t -> unititer_ones ~f a calls f i for every index i such that get a i = true
val cardinal : (_, [> `R ]) t -> intNumber of ones
or_ a b ~into puts the boolean "or" of a and b in into expects length into = max (length a) (length b)
WrongDimension if dimensions do not match
Boolean conjunction. See or for the parameters
Boolean negation (negation of a 0 becomes a 1)
mix a b ~into assumes length a + length b = length into and mixes (interleaves) bits of a and b in into.
WrongDimension if dimensions do not match
val convolution :
?res:('b, [> `W ] as 'perm) t ->
('b, [> `R ]) t ->
by:('b, [> `R ]) t ->
('b, 'perm) tconvolution a ~by:b ~into assumes length into = length a >= length b and computes the boolean convolution of a by b
WrongDimension if dimensions do not match