D | |
| DefaultSpec [Display_hasse_impl] |
Default specification than can be used by the pretty-printer for
Hasse-diagrams.
|
| Display_hasse_impl |
Default specification than can be used by the pretty-printer for
Hasse-diagrams.
|
| Display_hasse_intf |
Default specification for drawing with the DOT-utility.
|
I | |
| IntIx [Store_impl] | |
| IntStore [Store_impl] | |
| Ix [Store_intf.STORE] |
Index module used to index elements in the store
|
M | |
| Make [Pomap_impl] | |
| Make [Store_impl] | |
| Make [Display_hasse_impl] |
Functor that generates a pretty-printer for Hasse-diagrams from
a partially ordered map and a pretty-printer specification.
|
| Map [Store_intf.INDEX] |
Efficient maps of indices
|
P | |
| Pomap_impl |
Implementation of partially ordered maps
|
| Pomap_intf |
Specification of a partial order relation
|
S | |
| Set [Store_intf.INDEX] |
Efficient sets of indices
|
| Store [Pomap_intf.POMAP] |
Store module used to store nodes of the partially ordered map.
|
| Store_impl |
Implementation of stores
|
| Store_intf |
Specification of indices used to index elements in stores
|