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 [Store_impl] | |
Make [Pomap_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
|
Ptset | |
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
|