Mapping
Mapping
A helper type used by map and sorted_map .
Mapping type
mapping<KeyType, ValueType>
| Subtypes | Supertypes | Comparable types |
|---|---|---|
| none | none | none |
Operations on mapping
get value
| Operand type | Parameter type | Result type |
|---|---|---|
| mapping<KeyType, ValueType> | none | ValueType |
mapping.value
set value
| Operand type | Parameter type | Result type |
|---|---|---|
| mapping<KeyType, ValueType> | ValueType | ValueType |
mapping.value = newValue;
get key
| Operand type | Parameter type | Result type |
|---|---|---|
| map<KeyType, ValueType> | none | KeyType |
mapping.key;
Last modified: 5 July 2019