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] | |
elt [Ptset] | |
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 [Ptset] | |
t [Store_intf.INDEX] |
Type of indices
|
t [Store_intf.STORE] |
Type of stores
|