A | |
| A [Path] |
This module provides the functions for absolute paths
|
| AddS [OwnMap] |
This functor adds
string_of function to a map using
the default separator "," and the mapsto default "->"
|
| AddS [HistoryMap] |
This functor adds
string_of function to a map using
the default separator "," and the mapsto default "->"
|
| AddString [OwnMap] |
This functor adds string_of function to a map.
|
| AddString [HistoryMap] |
This functor adds string_of function to a map.
|
E | |
| ExtList |
This module provides some advanced List functions.
|
| ExtSMap |
Extends the OCaml Map with a string_of function.
|
| ExtSQueue |
This module provides a little bit extended version of the original
Queue module of the standard library.
|
| ExtSSet |
Extends the OCaml Set with a string_of function.
|
| ExtSSetImp | |
| ExtString |
Additional functions for string manipulations.
|
| ExtUtils |
Provides some utility functions
|
H | |
| HiddenInts |
Let you create in a simple way an
hidden integer counter that garanties,
that every created int is unique.
|
| HistoryMap |
The module to create a map with a fixed image
|
L | |
| List [ExtList] | |
| Log |
Module that provides methods for logging to
a file or to
stdout.
|
M | |
| Make [PrioQueues] | |
| Make [OwnMap] |
The module to create a map with a fixed image
|
| Make [HistoryMap] | |
| Make [HiddenInts] |
Create a new instance of an HiddenInteger
module
|
| Make [ExtSSetImp] | |
| Make [ExtSSet] |
Like Set.Make, but with string_of.
|
| Make [ExtSMap] |
Functor building an implementation of the map structure
given a totally ordered type as in the standard libary.
|
O | |
| OUnit |
The OUnit library can be used to implement unittests
|
| Option |
Provides some help functions that deals with the option type.
|
| OwnMap |
This module provides an not polymorphic map implementation.
|
P | |
| Path |
This module provides methods for handling path.
|
| PrioQueues |
This module provides a Queue that allows to add each element with
a priority.
|
Q | |
| Queue [ExtSQueue] |
This is the extended Queue module.
|
R | |
| R [Path] |
This module is for the relative Paths.
|
S | |
| String [ExtString] | |
| String_of |
Module that provides some additional string functions.
|
T | |
| Test |
Unit for doing the tests.
|
U | |
| Utils [ExtUtils] |