Index of modules


A
Array [Res]
Resizable parameterized array using the default reallocation strategy.

B
BitDefStrat [Res]
Same as DefStrat, but the minimum size is 1024 elements (bits).
Bits [Res]
Resizable bit vector using the default reallocation strategy.
Buffer [Res]
Resizable buffer using the default reallocation strategy.

D
DefStrat [Res]
Default strategy for resizable datastructures

F
Floats [Res]
Resizable float array using the default reallocation strategy.

M
MakeArray [Res]
Functor that creates resizable parameterized arrays from reallocation strategies.
MakeBits [Res]
Functor that creates resizable bit vectors from reallocation strategies.
MakeBuffer [Res]
Functor that creates resizable buffers (=string arrays) from reallocation strategies.
MakeFloats [Res]
Functor that creates resizable float arrays from reallocation strategies.
MakeWeak [Res]
Functor that creates resizable weak arrays from reallocation strategies.

N
Nopres_intf
Interfaces to unparameterized resizable arrays and buffers

P
Pres_intf
Interface to parameterized resizable arrays

R
Res
Global module for resizable datastructures and default implementations

S
Strat
Interface to strategies
Strategy [Pres_intf.T]
Module implementing the reallocation strategy
Strategy [Nopres_intf.T]
Module implementing the reallocation strategy

W
Weak [Res]
Resizable weak array using the default reallocation strategy.