A | |
| add_find_result [Pomap_intf.POMAP] |
Type of result originating from an
add_find operation
|
E | |
| el [Pomap_intf.PARTIAL_ORDER] |
Element type
|
| el [Display_hasse_intf.SPEC] | |
G | |
| gen [Store_intf.INDEX] |
Type of index generators
|
K | |
| key [Pomap_intf.POMAP] |
Type of map keys
|
N | |
| node [Pomap_intf.POMAP] |
Type of nodes in the partially ordered map
|
| node [Display_hasse_intf.SPEC] | |
O | |
| ord [Pomap_intf.PARTIAL_ORDER] | |
P | |
| pomap [Pomap_intf.POMAP] |
Type of partially ordered maps
|
| pomap [Display_hasse_intf.DISPLAY_HASSE] | |
T | |
| t [Store_intf.STORE] |
Type of stores
|
| t [Store_intf.INDEX] |
Type of indices
|