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: 28 February 2020