Basix defines a type nat, meaning “natural integers”, that corresponds to unsigned int within most architecture. Yet no assumption on the size of nat is made for the sake of portability.

The standard ouput stream is mmout, the standard error stream is mmerr, and the standard input is mmin.

1.Strings

Strings are implemented in the class string provided by string.hpp.

Memory allocation is done in a way so that you can write the following piece of code with essentially no lack of efficiency:

2.Lists

Lists are implemented in the template class list provided by list.hpp. Usual operations are available from list_sort.hpp.

3.Balanced tree

Balanced tree are implemented in the class chain provided by chain.hpp. Usage is similar to the one of the lists.

4.Heaps

Ordered heaps are provided by heap.hpp.

5.Pairs, triples, tuples

Pairs are provided by pair, and triples in triple.hpp. Tuples are provided by tuple.hpp.

6.Vectors

Arrays are provides by vector.hpp.

For efficiency reasons, vectors are indeed parametrized by an abstration layer, that is defined in vector_naive.hpp. For instance vectors of int with fixed size 10 can be obtained as follows:

7.Tables

Hash tables are defined in table.hpp.

8.Iterators

Iterators are defined in iterator.hpp.

All non-atomic structures have iterators.