Index of modules

Resizable parameterized array using the default reallocation strategy.

Same as DefStrat, but the minimum size is 1024 elements (bits).

Resizable bit vector using the default reallocation strategy.

Resizable buffer using the default reallocation strategy.

Default strategy for resizable datastructures

Resizable float array using the default reallocation strategy.

Functor that creates resizable parameterized arrays from reallocation strategies.

Functor that creates resizable bit vectors from reallocation strategies.

Functor that creates resizable buffers (=string arrays) from reallocation strategies.

Functor that creates resizable float arrays from reallocation strategies.

Functor that creates resizable weak arrays from reallocation strategies.

Interfaces to unparameterized resizable arrays and buffers

Interface to parameterized resizable arrays

Global module for resizable datastructures and default implementations

Interface to strategies

Module implementing the reallocation strategy

Module implementing the reallocation strategy

Module implementing the reallocation strategy

Resizable weak array using the default reallocation strategy.

Interface to weak resizable arrays